SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info B7 Ll / WHATandWHERE_Security:threads=2elapsed=48.434cpu=92.484gc=2.888factor=1.917zXZִF! ! ]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL8;I(,4!?eIW w[` \c((joҔ*hoWP z@T  9j $>Gi[{cT<= ؿyIM 7 WHATandWHERE_SecurityC dG~O ğQ#' ӺPʕX)f5Pq׍6ܒ yo Œ /N9~cHH1^u/7G T01 V8L{]'-Ǚ{^?6P-^V=O V}jOKJ 'BaI|a=+hA--tP+%a3^K{э`J̚/^S hJ'KJPWg8ΘEvbØ$$7n>YAqvT=Xvqg7hgAM# "4|[$4,̡f2HBJ0ho]Vpc'.؄_%DPhKČ5edŤZG[>@*/}+4c9!:-"|7JeW"k8/G86pCYm Ov/s*Hn0HRw#-j??b\}DEkx`0"t)Fvmީ܆(f9oi .1F2*ŅA|[r(0X71NxqϴuDz^[矘"̿l2].lsq0pCӧ+0EۖN$ᳯ\͡R]|ʟt^ ZS@gsK=_b;fv⿑>˭ϲ( Bb 1J;[SF:~W[qp*4A?_! Z!r EFp$A,*4 NN%f+,~?\Խ i0ۇBTܷYNF'GUwwPaY S,9"8y\[VAla!$ T҃ATn%PJBlA־k~I /F%`1ƒW3M幷ֹ\{îFUaHx%"+z^. ¿B+Pop@ݝMSU@kn%ԺHJjH=SQj`|]ee`WwUiY26{1~&(!ݳ I OV /Z)+CJw~`!Z%Τ[(X=j+p@D-c9p~V/T +nxI$&Hyq'z0%g=%Ɇ޸E/5^%B1+5&}lhœ ;ar@ʚr|uzBi9k(:Hl xsmǞN/'Y 붎_~W0ל˄PyG?QUR.l"Oȗɫ V9 Yc&UaPbd葇/+pscQ&$cw M @`q)`"/nvJ#PB 9~iB_2FQ,f)CvY {P-hKl'; Wtm{8}h^ka&PƿsNsnm1NKm^m I+ 4a*e 's2*)Te"{+D>)Y|`0J ] bGq h0>ME"?W/WP,ER"0+y82;: 3Z?k|˝ < hwrË*f yG9V`gnEG"m(vCn*ys">T ~Ѥ%z0<+i5! *6N3'fsd$N"x$d_AyY ꒞f5̩MRkBR8(QWԸkIu^X5p'Ls5NLn}/]*7 lE"]:U_jl R~_֋J}&tx3 :O KhL=XIBЙ:z='_u/V^֘TJ"y˳vI9 1VɲwF-rP4џ@,9:D$hύ`JiS04fT ܫ ow:2INABuvfbʼn3>{+#`X%JQ {SS7mY ^'ci3Sb|#&(F=(I횱 V@lw,4i?L`+'uߘvp!JR"92E(tMFD5?n MٮlYifݝؘ}܌o~Qf~j]J}ݮ.7VKuBZ`A6m!.!blP _͙Dls.Uzc6,Ԓ*%VXМed1v K np*Fv o!V?{3撼'Μӛj\*Vf+a-Ӣ K)3rGo䛘>of1c5aUqG~sVe Ó80W _”{N-Lj$J4jG]53t\]-;\Jx8cg A04/HZd{#bO7eӔCot.wi;䀠҂ st{4園2 Ux7- ~ay&L[qyn,?gɎ*&QrO֎5ь5O jLOȡh6r+̒S*h؝CLdL7Xj"ǒށXdgYZ1ab80a0d9b0082349f8a5935f816d9c6cbe5fdba 1db3099df03f1c28cada19ada3a74cc81ad144d5 25fcd21f22d7e78fbf9c7431cefcf47a109fe571 2ea80c097e975199e5a5b5134e6d34f77596fb72 313a93d05c3a89cddb927649ea4364dd24f1ba12 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 5855c11fb47d4644a3eb1661268515118b384fd2 5a9fef15dfe0647f0f880e3794ce8714bfdb3775 73e45363585842c702e7d37d17e80e1fe57ea21a a20370c8393d39ab3c57febc38a4519af54dfcec aea02b31f4dfe66729e8a51e8c33a68989d71644 ca0727eaeb92eea6fafeaceb7f36e3821f747fee ce8afd10ac419670ff92421eb7eb5d4a9f51eebd eb74f23254781395870bf911109bc107105c8b5080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4