SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   e! ,l\ ] Splay_Tree:threads=2elapsed=78.665cpu=95.372gc=1.588factor=1.217zXZִF! I]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%75鍵bt!T t`Hp~Bͺ"ZA﷬seX_\fwˍn(yz=EJy2A:Ȁj\0gm>|V~S8PW0<63G x|G/J =,? B=,p= uHK jwnM6xl;/M`2X$o\>)1dTƕ3 %I'[J_2ViK\%2Zy0 c/k}m>1?6']8PGG裚&H){aap'OʃX\ӓ/j˳%NL =9D )!S2/_aʣb>" 8 Dk   ! Splay_TreejOF[hk aaT4+uZBnmtjBH/%+ SiZU;D(F?T]Jq7څɀ<<1#%/0gYZ7zXZִF! (]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻LhmSA=;)&Z;^Q/ GQW+"'iMt1Fbk뾹b"T+hyS2mXS\.[]~ڲbM_6b32Y0c8] zF ǭTG=3P7D0Aq 1I[K >P2gYZ7zXZִF! e]ŗXi%93UG }_kJ `~,-X?MNsu!g/FǵJ kts~$i}`=+<򏉲}zҩķV m {$)?Q!_0SZLty=ĈHq9.W}DYzz",1ٙQ(ƪg ;}q:ػj+<hgDv6CV ;xP/k"o+LĮ .:i}gN'Zt) Tꙓ׿r:T IU9n@&oL<5"t'%${IZ/ǴmoYAU(* joc V\$oEOު梜D"c3׽S]`m&f!lћ)2`658Ͳi,d.͸JJ9&o^3qtљVN|0ً:S. Nn!cd-Wdc{%/lZ-*HԻD[wM*^&)x*3/"~P3 ?a$籡(uôqarvU=yxK;|;ZSYV D3$dZ9Znusدjo'*??.nhz&$. ZIɁB[oH*\#mTԿU\jv=]ݰ5Pu.B$eJ-^MfbM;m&MStBVV/5K[8e94oް)ŗMz]hj 1^ҎF^֕g+VЂskħ^qWSt 9lH>!s E? 9"!8d,~?W0oN#6m, ӣj $Cd@2r MV鿬yn-Jq ;X B'SM]*Lg?vaKIUPPQXV/D0,mZeZW;'Ł!'@ZG 6񸍚)RjjNEkX[9&SPNJFj|*LzT|V=ɋҢhX1g|f*0 6G[iob'<;&m]O+6ўTmpĎ׎FVf(PqSҺy7&yF-nD&#Pb4f&"ſ#2kE32#MC@%lc c+w~ny$m]؃ZsX >DM+ -yy}qX_jB\mC')#n=f~`)0qkai4ⅹTSַ"X3 W([RׂZT4^n4L){w3A؏eed*LpY ,I6jh`դtM7rv#+ܡI o<[+S}0DgYZf1da47154bfe19f694bfa307eaa8e5369daee1a4a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039