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  8 8=?4| ]]HOL-Computational_Algebra:threads=6elapsed=36.503cpu=108.616gc=4.576factor=2.987zXZִF! .]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p$_J3A0ݭrjf*65/r֒:!3$?ģX$,>8R) UOHB4,EƵ^E:hz<2SAN6%8 {k ê"Fҥ6|f2ob (~<ĠIoCOMDnr?D6%H^?E:(H:8貚l?v6Su%ĝdQu&4>SX㵿pb(18y & *.u TC\qf^dAG[NX@JȕNڰ4e͓G?MV O/tRSR9GF:& W/|[}57#:r۫li6(dpbA@3sr{3='q̯;%O1 pW{MOX`$w@jܚvskL( )Q~ .Dzػ`h..6!u۩h`l*1%7$}U}iN=r7-oֈPmV(?OQ5n\˽R)X|>-B.OOL#b]I 1mtoRO>%躁[.VKjdOxH CsgYZ7zXZִF!  v]ŗXi%9#qMT Pl^ T#Klp\KDaVX{̳-Ӯt&!IJwІιݙiT*yZibDP]G&iGٖ j? !u=p8k࠻jcMCy;>]K]9\bg8ioߺ8KQ08c .-+V%|rC_7AxP #J b+_ksU}(\]TsQldTc4I8!LC圔 K5K1qIcP,'FQ 67XH7B1<:tNX3U?(JkƩ.{;cvݎ-[OE9~ SKfׁX[mޥ31~ j2A<ё.u2^.qVݎ!?=x)RZy#ˡ>F!'?dMa;9]6Ooc͟h|[R,31ğVSƪm-b Ls$ -wy8wnmF8T-K"陯O*斤ܩҾ'Y{_`*!E3!6Uqr#8JQyFLlG+ ^]h^Z[rQBᆢGlpCWZm52d `NNQKb2زdEu}e(x>uV9Ah"JPze3@׮K$^%9ӄ?L7A{q76}&'!j2~E(k{>BO 9G"V>>GGR A4Y=',Z"ȯĝ` shF]WO6zbh@j-vMМ9C v3ҵ>MIba `RLфa=*“-q$JOe Dxmz>b`#V>,{0_7B:|!p6 ّAȔo }V.?zE*8%v2];+ aDZ_h"gYwRkmRL61<ܯd/%/ 3S>r1 H+u8&p߄ZR՘׼!<["lYw\zb>W£<=%S!+i/PcmapHS 01%p1[\#MGe.uȦ>۹(hҶn#@й~%P'X+87+hF[sT{uw$sf}uHSjMspPx+)Ľ P؁Jh^F?OCoN]m<|"X ):v1ȚZhj_{tePKxwI%F]5Td@)9^` mY̶Si.>% Z 4^6;ӁLr?|_BF@bџVh^؃UzTͯ{Ψ?<%ڔ['i#;z\{ A}ٴQo