SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  T' <4\ ] HOLCF-Prelude:threads=2elapsed=41.401cpu=78.448gc=3.800factor=1.897zXZִF! 0U]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jneI o}օ^-I%A%ng2e8M#+ayq8L.0VK-##&ݍU*i+"/7*[wPLAo?q{Dq5H5@4 ǣ͹}߇tgI`V}E]>y &U}%hۯx$P[9[>GT.Nn15)ʏ2'"pJPޝ3ϖR伲TM߂X ' HOLCF-Prelude  U6L |`=r[@1#PRh6c"x*I\/1) L@8 ZqD?8v$OL5h/*;cԜT"U"ؙ_fr˞g>͡F6 `4sg[n&EozF"Oi0F'Ä:|(;SR$+:0%7D=>6T]y_o{XğFa~eg,L#'s{0"JR@:%5e6r<%5|mP̷+B*KاCc5b5Z[dViKs"j4_|6! }3*3wbáҋiO` I%3@}!ԌUs7LFU pi,gSP)*N.+JL ԛǺ1 `zr .Ӭcob[Cy$lL;A%iBFz9(O~(^jcRQy3zr`m\#yi 't3yas| Mb*$XRt|A(ū(@zTw&:nGvnb a6 gYZ7zXZִF! z]ŗXiɟ1˦rnzx <@0+gMLAGq/| )mRa9ǡ,~p( L/>qq4vuimuX6jwd,%+ޫ b`Z ?j.`/ZZcqҁ@Yy@݂֩/r87ʐ%p`uX0ط\WJg# s ã/ih4 % jNx)@GXnN?!ƖDxS_U_P(*n1@U),vc\5V,퐡*6W$RA lgs E: N)#l DIbR :Lm}a7ދDp~h mH>GWWqzB6?g)zQDXH?ɰD* #WDN|4),0h/:NgYZ7zXZִF! &]ŗXi%;*"#;ꆹ6LI0c&hOJBWGщhe.:FY+dST5~'(# פ@O'\sF>Kf]ٻx+bqFyjz 1´mJf!W .!'.b) 36RWsz?RzK@p2uo+/Ԓ5BP7j/]XՅDIC[w')\ D&^&F#z2 wonƩj1""g*ݭQ12ϙ^2>] @<-_Qti8jC#fG}fK)8f\o @<Ѣdj23qZЉ6ũ̈_E_+xh4@+8g|/-M3$'F\>Adq>p\:jQ%\M/atp f8azHz;f(M(]3Kq1b]foJ:8X$uY>MJ ϱju^C˦5z̸ a/S!"(BbE'dUu} >2[dп*Cz06&NҺ'z\49\TԤuɘ*E់t-a|zʼi^N%i3'M`!a_< פE04ɑ7Fxh@KBv˾ &- )Ɠb-8^f[VG IΊ<@B5# ur(ᾳ@isg#k?DCt{a+*ʼ܍7/d5( sf(%9f\s~t^t_r%MHG*MD(/W0jb޴/HC \3OîEWɲ$`hd__S_@Mqg>bl5d6-87x8J) +9=^k*4cE2?ܽ#=*/:ɾ 7{>9JB\Eˬ3ns.&EO)U;Pҡ2G*cط> /uAEƫ\tޓQC {ѕy=5¤+?H)\nHjՃ{VdZit oQQGtњiav67)%.0d[" oLs߅܁pMks+fWէW?Fmqob0-2q >"Y߾v&ZLh54` 4 lIO -.PLkkl۶;k$\>9Gt}oxUD Ȧun '@b?=M2̰'vlM8"h9V=1r⃪68Ձ&j.h(ŮUe44*w^.T=OtFƗ ܩlʵrG$)!i%$ȔeAAˉ?(k!{mQqc&\u[JN3q%r0T9ئ>*gE 'VuS{Y*1Cl%sUDvrt2^bB?Jjd#Ǯ.> ' .OPȐ<'Ogxp-Tjons9,<|tUfUnPN's"3c3,n']'uF &LٽI@ <.JJ !{ަҺQflݕ) $pєBDO)`ݞSHOMOW;ܶ#zXV,4͉93}Nu< c߆3p;p)MtmN/ ๒"ڐFx+7yK/Τrk AuWRGժl4r]8D1N@*t*;:?ٴL:YP^wNAg$꣉@8dQ') ayp])ik a ݣ8.gYZe7ab701b7912e873818d48604a649700bfce89122f45ef79d98bf4791ca25c4e1af3b76b517203ad 1b41415026d3583c6b6bb0d2ec2995e8feb75528 da8167254b22641b61b3d7ec8b07d63079c01597