SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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  r r+ L c/ Euler_Partition:threads=2elapsed=14.607cpu=27.192gc=1.040factor=1.867zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I$%^b{yar6*ݤVI T 2z"VՅ2"gbi}>XC~5u20e4]L wJdu!cha5nXP2C[ԎLH,#Fks?\@knqqw|g'hqqgs cڼP /eܳPs!n 땴l/SLsYo0F{yyK2O$̜2"Dsnx$SiaFIM+ܳP2*pd !v+%Tk+?WÔaOB p{`0ݘ?@S&\/*9ѥKЭd羏Ty|Df!b$n3 EC"VΧbn.^$&)3Z7?,ሕIyPTx$+lI;3 Dž^h3133.59k|0ZA8h zUW*}m △ OWDOz/b}ofϴiTobߛD;6tP_*xW,5Ѱw+.p"+]+)1 h"8{׊!w%Q + Euler_Partitionc%|yQ:cLML'J'Zk;yG[7 7,aF,WhCAlGm oxgbdF1̪'%4P)tjFRäp&2$l.DhuC->iFGF6Q-#]? hbG (@K~UdǻPLITv72PF7]k6n9bCP:% 1I1/%GLDb7#HL. p4'q+I{Dz#T&Ohssv9zc.r*UV\k G*QQyjȏPI'sڀ;#^YE:rlh;ƈu䴦F 7ƖMg8,߹hcV#>9y U=}J&"c >]o >=^oh7Z+i!9%N-3PbBlpf%pqD;X ͻrxXgJc/[WGk @zgygvǾzqHu-يg7Z֦C92B5CbHUԎcAB'2. WM?uՋJ"ڼ0݉|8^-/WjWҰ!0 !XmXԐƕQXBh)p ߟRlX)BsMYoX=0~%;./-ߜHӔ Imw /bQ;EbW7mv moL]I2$K؈~e_o\U>nfR;,I"L2ȊY%j(ղ]/NhrVJV5u?RJ$ :<+sVJϻRgYZ7zXZִF! R%]ŗXi%s 70Am&M>8h"Ml礃u̐29XP%5)F'KL{'f"&L-c<<^2HyRq.C:3;%hyGFo a]>ՁK}=aP(`ӰO`WJ_" KG dNxK Óm&IC8H[ *݀_%(\$4*Wc8 65vKA%hȇ\:2l]W [`8+MnqCٲy =?![;VJD\fʒʳZ..L1:TLI͙-2f?kA@{_y[y5vG9jeB2'MgF]:`=66Ҿ&\GXC 88)Wh[EVţG-~KQ.L0 Pp=q2.ѣTî(-1P0ܥ'Ll7hzsYp'8?ܩu`7if,D]=T kVMZ'I.J(~Û;?k`s(#yp@ gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 4dc5dcbb173c1d4a56ace0685a339a50db42973f 7062f6bc3330331442ee719da0d76412d11266f3 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 7b856ffc78586fa0be84090ebe5606c3239bbb3f 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 a6d881014016ac510413e96c94577bf126ea335f be04bd4097d198048a83936accc0a0b3bb132513 d406b5237c82709a11613edc0c45a93fcc03a74c ddf7f141cbe49f6438d63bc3fca2b36b516a85ae9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9