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/ ,D$ ]/]HOLCF:threads=6elapsed=15.065cpu=41.732gc=2.380factor=2.777zXZִF! ` ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VB(\-QNhQgg:T799#!jA`& RԁzQT%nп |0yPWRBJTQ*y1ir;X|_|mуgŠonD BXyZ Fru-:zt,ڶ;@( Lu%[\XI%c$ +*,e{۳ٙn{ YSZubɛ\t5g6xɏ.YZ,T\Qrnۍ7X@wn*!fx?tEehyA lnkѽِ=>n7!aaΒP@F aARKUTwL]ApV^jYNC/>柤T2E3b/nS &8h׷-ĿRoc\o12Vsk 0>hFOx!T6#o/Q3P-1Y?'3[~)X@ x !=݅)J#V+J9 @6܌$ǖeIlDrF)vC;d=;BF,/ćHݤ`2P{IpC 3k<(3`7ْ^]zLKJ-Fy1,nώӣsKZOhEJJ5D8:c_h-O(^P*gYZ7zXZִF! []ŗXiɟ>Ӈɇ9S2]͖NC3V7Y[BD 5ul LV'39ޙ 9yٔ 7yn xm NQ|ʵg{n[:,ĈOߛ}7Z%OӋtM8(.Y,K,bJtHl:p(1ح?GBU\{#F̬R$$XMڅ{kq=r>Ǩ9zr' 8HfI4=QԡP;kb,B =b~w˘SFiGs]}iQ2f]QJ!6\6Q,?) ͓R׮ܳ f#o%o_M7,)>XmvwjZ$me`y z&xP#<;+B \A1{b\v=S+`rn GPN]xz\;fWYb{k s9 ƙP:V|jD'يMX~oݤ`wd 0 cJgYZ7zXZִF! F]ŗXi%9,}w`T9Z~bOs*QB$ +G 5<4a3i?m./NqGMe(,Я.0tĬ*%˒L#CS҃CvmM>f6ĥ뷁mgz-dUq3,GN_$f;qonM[ J紆ec0.\nd)!)SOh?8-2KoTwY>~aErϱ—& &]rX˖Wn냤x&>N䇤îP]sb$X\|+qtYV_Q\w!F#l`ZNhRH̯w]}]]\jxi3ԓosʮ>帢`EpsE<.D6.\M`ԯ|f7u<6DL"Hp|v$fT]}?:A38Cv+n3X 4FmژA p&לWgHRnϩ{g*6 T4jdNݍ=Pqe@}_AB9:ceMe$O&WQ'2تTǀ~ ַ)%J(*C{B뿶7N_iaN0qX4}yrK#X+9: R[n3 U SRO +P`j },ToNMh$ЙlQaɊ ~vaۊpspb!?xIg`ɳ"~Y/.֐:=#C=GWM 3 =Zp]k3AsǒaY}6o#V+j5~^/\q͒BSe[/Il;Qo+ *lvpP )}E^.Y? l"&Kwܩ/]WQPq=%+"]1#ZZ7qpJ~bYܤ*IK\݌^$5| jTGNӡugZCH*#zThSu' JD , 4<B՛T]M_sB` YTMdT*M OQ [gYZ46d5081e05f253ea39ffff42ee4861a439fbb3bf6c234964d2ce00acad8abea2736235d9c47e1057 c6a0496d6f02ca7c0f07a3d8e8e0eee63df5f5389e9c83c93ce86dfbed668c40375290e213b44d49  HOLCF