SQLite format 3@ .;  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  -tt ]/ Generic_Deriving:threads=4elapsed=54.303cpu=162.976gc=23.256factor=3.007zXZִF! 01]ŗXf[&CK(`Q>ebU?`?c4g_?gNEM(;>}dq=qMfSל pooskUٵ9fzT†<5J쾂S#Pu͜n͖.6]$`]+V_,uD.b$q~ArOLv~[S&IΠ?v[#t:$EhVϕ?~uMbz˅e_MZFIWE,sl.u!&[`60v'`Zp鋵wR+6@RP0O%J \h?`;w|p.㥱hHGthԛV2NXW;ԭ;qEt0 "zN|x`N6"PZ5:1s"du$Rl/+ſDD}U9j5| YhbunV`Zx#VhiEwIlS?{>K^s1y񅡌8lwȬFokÀ4*6ٛ$H˴#ZeN#dRMii;n*|eɮ' JL;,6`uف.6eqCWƼ08nJϜ5kbStzWHy,Xy9t3E_p.pa҄>g@HP9:LI:]asG'>0׫e?o pI /!w߃O?]SW <[94q`P51ZYbi+XgYZ7zXZִF! &^4]ŗXi%L 1h"v@S | 0c&\R5KdHcb5Gc*8[o#Pz(iKZF%?#Tuhx?m9@d41ؠ qm=<5S'Iz37Ctlyj|ݧR20N2,e7nYΩJI }LNm}kKmF&mdC43*Ƭ=(㬱KGz…oГ58|)MH(!Рt3˝W5sVU@:^[p*TS61,Ǝ{΀WN".+jCBHC4HEO,O qK (=W!` ԛDB*kk- IH%KZVN$ Vb003z5a׀>$ - Generic_Deriving  ០6%ᗎ\g3Mdm΄ݣŬrE)Ǎ}aT9u0VEU0EotW@fV F`54ojn8+*"{ "tw'A$8,-1׌c2ppm3-nY. 91 Nr9J)Ts+єc_JSo׈Qn ( ._ow4oQBT*,b $x>`) VO&E#y0Y9|K#\T[4r{0ehgF&ΣLM0=KsUix'$-sC=l`^_æ(ƶˈS-vQyC&l@P꼵͊NmSGޙc#*1P8{BÜ&ZU~$64n-%nyo)VC fjΙO4k+q(a`(>Kk guX9BpR6\=fҒ58ZUr=@7 v9nt,Y[`ůz[&c怾l .'|Se ="m3>Wfp{ב,vÁ=+P~mKX Stt, z/M yz3?Bn׏| gS.[^֬>΄ъ#h=2P|'$HM,VGoW`ccGw7qȫRЧyED zZm2w;R?x,? 6r]~ʈa=ot.$lf)I Dd+8:tETq\e?P6N''rr-HdE$;#-4c#x_O`54/"S^|ٹbe j;sL oZ6J<ʽޝ5w;_F<Jg iB Ѹ sa-!}D紷,c)g?wHv0W$$TzAMPz5 jw_cE"L "bGm= g~ WPdh\il} Q״֏H^rge / ||m[:ONy6IY`  0۾4=(~o&*L`|}έb,ғO<%d@{(.liI&\?V-DԸ7l؞&}:~ܭaK UK1N'c16H:Ҽο+d29lA4=&AaP GVqTZjuZNhao]fnLro xm:XpMm,grNH,Tdgj>2sۜlyUkEje'o=\),:ōJȇd?QSdgz+Zn$<t )T^lm|(E^D!HFz/O%}5ÙAzM^ LcMݴ:L+%1~֮4e(GrQ~g+PƄkZb7mO9w&!a{_ edݓgObyRKyf(%eX2w]dճ8^Ө#JݩȍlS&|h#M2v`0'[Jtn?=4p9!s!LNbbڬ_&Ӱ&>{89Z쏁ǎ=IN*>' zP|\\ի!0Y:rY~@#ZB^YF-Kaʥ23m@xNR)+g٫+ ȣР,ʱ&C<_$ apn+!x@J^?6$Pš3FxxVQw0)Qմ˱ [ѓ q;a?9 N [*5t12^.ӑ7w&aQihh*Y2D+-LSȥE _NIzo y>Wc u OSOY{LY.KͬNU~p8dn$!cnRY>k衆i0CbjQC=ɐB4<% siyiyDFE{sv{njs49ؐ]3#u e`+vc8+ QuD{#|7\5I䅅_,(b3y6?@X^†ZE^)'ږtN ܻ#<è#o0?'I5Jl#;2#:!Hv^*,7rzI%ψ^/ &p5'4R1]k5W&nϼto2"MUxGIPb@,O?&UKPt83Jѥs.I 0-Yr$.}ʷptoC{x 5+ò1 МerDI^ZW^ UiIl_f&01M=G7Hlb?a-5p楶}0W$mI4cL@kJt2oZV<56 CJ.p{kQVA#|N}qS~f!Yv{B)C]w1HJ&Lf3UQЎ W%aZ q% /CƸ [6憆ӅZ޳.ՍwRA.vSħHίH(+qb;P;z|Ӳ[k9ӹi-G(rt4f_E+n&ȾSa. am&1"6| kR4$ߐ=~TZmaϷ!aP4^W]wuYCq c7+yI? ^XScf+]#\ ()y0V'Tu[S1Ⅎ IUH{q\;ġ̤}D&)Ep:ʢmw)BRlSqݺMG,hK.O VA gbp)a,Ӹ0lnP/CUi-qܼ9H+_ ^xU p>nB8Hu|qH U˟ܝ`ss"a#ZfꡝV ֣1ddyaƏ:}Ld2pokKsUT?fZ89`s15QiG M82/Dd(%ڃ Mb8h5B@Oa%^5Z2V$k} EgW#<"ygYZ6a03bedbff3494773ad66028dfaff96792369f5fd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3