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  {- vƒ  jd;/`a4p|{H pv'5j璉d}qFg(Ih@&Ue;5fW-;tw[umO1)0a1[ˤN{7yG͠[8UgdUpαL*koЛ.Y sVP|Y(y`QH3~l$lTȒ7y gNOҕ#zR,iBb! "&Ӊ{-Q$kɇt,R7 [8׍߳W~1 NJUi #|?{XF+sg_O#@:2Օҍ< Z+RbÌpҀrhuu}7C{]n |ǠnU8%?\L j2Q?ODRW5')AXFͤWqcW;X7Ćv9\qF>HN(Q_ք/_PvE|P\vGkskQċ 6-fİ6sfh^Ǝq - Tarskis_GeometryO (\ej[V7=KnrhȨg+_‘&b~"2An$gYZ7zXZִF! IU]ŗXiɟMr^&%HiI6$ wĄV^\)Cz9B&,5L˄ ]*M wlt.*jxӌM`b|BսlzsAFi !^wuUntKg5_g TG- dy"T  ˁG1p {lմ[}::cnrCzz23ZAܨ@Ls8GOJ>y FwjK ?gb;Mc; f1Odw nIjAH5\{!8_6X $rQ$ ߪ1!UIӗ0+/7FC Foi Ċw{Qn]3"*4J]ԀzB֭' @aRdQ碰) 'Ҽ|𳃭D1K-K.؂Hb.6u;@^7~ID\nЙx~l՘(EvPCֽ#?vJPF;wV (A G NNʁZ_K5ưoP2 @.*GַMt8;dJA#ړPXd H$\9&މLR>>I|ײ!ݑ` =h7ꪋ)ÐbzCRڽ3e0CUJeSL?Š0xhQRm=Mڏ'kΥ,>nh (p%m]}@&ބ#ߒ򸗓 qui9~ӅZ5Jpvn%7 =?H^OpU T2pn}}f?o)Y_/lIT5g&Y1@ n:`2Oᝈ^Ts,1DD5낲F٩mkrXt|YRs*.S(7hU޹ZA̲MpxEәe xc. hw=~ rn ⴆ^K=@9,t897>CXXMA|j.@ة-m{g_ua71ٻMOHlٞ.c,qhk#JtE6=3[|ssZ$J˶Q:mkKˀsg`dHNjG [yf: mD8ISMwȰIB$ ll}u&aI@H\ѮԆn1(a8r+>Wr@ĥ/c-*"ߐsą{ȿ^ʦ J)ܴD%j᪵:D Xi"CJ}$i4Hv~E1@%_P}q9dho˃0aG ,tj-v8$fK%8IC)DkWdqd3SI a_9N]tS zb%kōLu#pN\YɔAqLDFcPlɕrW@b$|cx̉T0*g&EL|>v'Of/kb][g K>!PQ猉 mOȽb\5hf:BEX~,BsQsƎM6'rz;(<&<*L0߹!bQ*K6H$)㖫gArE,Z¯} @.i4w;a2ARWk>H}2U?Chbw񩜈I%) /+J=r|^O29҇Z}kP]f=0C () B%1g-p@0A3ģUሿC(7hOz`џе; ߖV˭r:Td2HMJ34ig;*w>Gh6qT%-dH;g@LcDe3fe]W) kqMi(FF7ca؎3!Z'pi mnocFrW`8i]4-|:-?% o⒌S :[;M̻>i8ln,t@"iLX{r/fGp^Œ@.[^ؠcxi%35[9Sd4 ?SRgjR}^ _hlSQL*>۞%U7Ю_4Nh{ɡY)L_Փ}+XQ6fz5h{hSnJ=yi#*0{ TW}3+6Ub>^l:L +:z/d&A) U!&8*kᜃ^Muk >68qr6 5]VG\@DUu!`NcRsܰIz9Dͮjdn\`/A B^ B?@)mṰTz؛ˮFla:!s7O@>X֥i';kuI_5+Rg I!&)UTCT SV)j~%H:xsBУvu/ct]bF 81^bïZ\SqI^3 ri?CIݔl;40DVCMsgYZ3702ab025d39981da1b4d7acb3a606b3eee534f000b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6