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 NN/- $,, ] HOL-SET_Protocol:threads=6elapsed=20.862cpu=85.488gc=2.420factor=4.107zXZִF! )>]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaNqsDM^BFw>;,wnDImvQ]SA$eYv#zSDE;%n2`Wih`R‚ĉ7߾$q^/'Nua]^.1TXCUJ+JkǶ"<%ZpH.`<@[ 2|X,hd%@pv؈ 6AΞTg#m=T2 'b?Ϗ|v*2&e[%N zRg<,!Sl-`">dΡП+UHs3gML&.p41#wW4*tD( T?1/ǎ+/=󪅏 $mTszƌ_L_1?| ,T~O(Dl=H/젌O?{Ht9(U69Fg1DvAY=]{hX\ܒ6dlxSf/hDlN|40k YԆ'L-Cᗐy( >6AY#j}>LY@چ*2ђB(RPgYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxxYT+%2`M>爵BXRZq% p!%Ycۼ۩X vDIQm++3pԩCfGE$$ۤIH#[tfԼV3Ku-hU34C/ifMigjiَ{gYZ7zXZִF! c=M]ŗXi%IJcX4ӆ zi-+-)󤺢tAF쌂p\{f .wvvF>r}YSDXV/ sczmfkhP Sh85d@<¬5A֪tP@xJH1. ]IV\ͽ mͅ??Dџ7ѭ\r%0x:J&o7n'Sk*|Yh_GZ^çPƘhbFzCY47}Yq Ή%WuJߠ .v-Bhyq]憫GTDm3\=--=3˞bK.c|HhI9v_;q uP}6T2L@c.DY8M^ksTlٞVnH_|Olf/.w2.{q)NjYj @"sA.~PUN|'19EyDir3c.4{!s.$QRO=3_7Ќ.^+?Ÿ/l&~kn{ir|iyՉX0K} }_w3>,Mp7.CO+*MHzfnt\ZLzD^/Tj3q/oF`NX"ນɫ9.7A9xsdKeVur,ip'՜! bؑ҆;YZ|5f7jD%xb.* O۞R_m/$Qx3`"\ x^DzF=<i;&JzK6C[@¦WI05JdT X[şG*ܡ b̦ , #Ҥ\ }iWLvks_,bnwX3lCz2NyA3![$qKfj4` yIPO>ej=3G`zqټ{3㠒/ǽt\CkВj?ʬ! 3`^ɗx[졯 9F,N#ޢv78h-jڥfZ[kVSq#,5XOGƝcCH O=$7^ '-G>H%)&h g(M ,E\e75-:CSһyW92Sk\nn5H^@2}ׂ} y'R/CQS歇]TxRڢi.`TU630BgeAj ZWfNi|n/+yb xC$Lp1w;^Mв)];ϩz$O5.^ AgZsn(/xwGAŮkU+kt  J([ߝ -220ڶ _j2!!QcAB~ق)R < ˉ"6~ùF [R}VbwE Ӣ`Mcf'b50uq{\E} q?I֢"S*~|EbNא8Vi>,-O8NZ{1bKA$Y(Y$fv|Fo a! gMqW'uD.-º