SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 66G t,$ ]/]HOLCF:threads=6elapsed=12.652cpu=40.908gc=2.912factor=3.237zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{V0dQ}8HbVDZDu }:]>ꖑUo`vZ#ÐVWg42rDQn'>Nw9f>PI O N鏼<+JF"l :Ie:@Ӈɇ9S2]k:`!G q㥂S9S @ĞJ+O+V=)pwIl7>@D(f'T37@nh`OI`Z" b>MKecd)YD*XlPiR:mU.IY¶IY1m%Go̬wGyx=aa+] &Z]>g+ygYZ7zXZִF! H ]ŗXi%GPƵ0tԮ/dǶ!\"L$V<&Тѭ`%(M$c@0 s7AWꢦ \؈/ ^9w 7Ac"2xÞe2koa`?y)ޗNJH!]TAxPǟӄY2*d`@BOZS'I5 J+P3*li ;o&SN!fh 4^կ1no7;TțpwoȌU?HهJ|p :?)wOi:T.vBÀfώ=ҫ] UJZoDمS y r3_9 lav8!B;'c蓐.ꦡ`"{ilͅ$u ۃż1R+Y;!Dxp 9s>hvscNwuvo)otQm2OɦL1C} vIR^"W*{JdZ#Q0Szٵ!2 _[湴 \q/Fc!Z.+] [cˢ3a@uNq%:~e%m<*$wձ㝌4kjDUEЬڈ^Ͱ u2 /oڶb?b(P],1Tx,"rW]L`7t܏mszg$cADT,DZAJ$ZKrx w 鐲A=YS|i䂹`tH~fBLwe 7R\{ͱaUŮ$sIZ)S\Z}+ i$} ,_Vp[H̍|X |يK-ܰen GQyfMP;&BPcvu硡Aem,2>9{/Q%1c,:nϢP`|R)dn^r"fNH9iљoY&:~`ـQi7*(!|WHme Fz`GXr)r4&/prnᢒ g3bAl(50nj)-hI bdהe6ůC4A%(}Dž}U ,"}X t=Zqe:k>KF󄲞|;4O6poxH$^*.G lgYZe66841bd580122a4bc7b4c13c53be3f58413426fad4db87444247cacaf5ca4f67b9564767bfbfbb9 71edd8e772543d5a1e662373cc1cfda52a924ab27228fb09e2d25a5fcd3e3d2e6c939bcc44ac5da3  HOLCF