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 n) L S/ FunWithTilings:threads=2elapsed=40.306cpu=43.720gc=0.248factor=1.087zXZִF! ]ŗXf1-/6vRZ#q$-RR s(|CdGe%-?FZD^^4IFW~a>l8h9܌2>j)8RƊikxJ%\t,PTgƧ2@T Q`gČHT;6-Ɔt$梁Pf!bf*x#M\Ͻ]QO"ʄ5bzec7&(~~/JF-jbÏ3E˰Oka-3:W(k`,qּ͢J>VFx7&ȢCbzPlfd7^JkoEi2F-Di㧖!>X4=ȿG/=6>?!%')0?beSPqK49[ wj?qYΥo+pDь-l≚"JGpIWc5iGI-eOŮ9'~]Tvm2php?:h:yJ:6`xSH5OnP.&'$eͳXfGix{Ex(\eKbb8yp [p"e1['-us߼|-9U~YBա $磃WY֗BхZl %C*x"J&_r6"ؓ' (2| MW f⩂Q({En;s1$iأxH[#g? -g܉l7<T߾M<@.=1R$61uz~(+>߿5ٟ~R2 k1AǍ$~a'.Jbz:/1J<8#Ϩyg䀤`""r+@(J| K1)ze9Ah^H]soAI_(By7SY8y\U|. 7ZH1pIMI\B[{h^~ruё+!Y-+SNJcr&[ m=Qm-OYNqDk3y= S|J}i"O/wd3,Űb}S/ЊQ x30c {T"7!Z6thV{tYd^Φ}&9VLk'OS/:Y;()(U+]*<.z}w`q^g'P8gli{veB1ZYj LJCb/B jbyP2VD.`BK^4cu<{ $ ` ߋP}U=U^g NC5Cl[,fߏؑk/蚍QЄs5fˎBy6̑btHu1ƨ"<-mmp0J{Ĺ8ACnŢ&1岪: L;)Pm֑'m.C;¸GalAG]9ߏgYZ65384518925f4821a3bac1385e15208197b717b8 92998bf5fbe9a3a928a920a635dbd205dde49b3a 929a6bf413193ab3ba47df98e4fa1c70b35c8ed0 a59109d2ca341d125311a74e38b48df10164a0520ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f ) FunWithTilings