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   t-T| ]/ Generic_Deriving:threads=4elapsed=48.742cpu=140.756gc=14.124factor=2.897zXZִF! 0#]ŗXf[&CK(`Q>ebU?`?c4g_?gNEM(;>}dq=qMfSÑAR`Do$Yx( .e6]K~j Q63+l=VBDNH~W'M Hg=(!#2o7AİM(D9DɳʣaozΒ6y!Q}lwګ#PUz(ky9Kc̐YҬ(;qjg1ęޑO-+A~")0g@@NЄ CVlog>z+'aMsCu=Ín3p# / t17Ql]Wz?`[Xaq+b&ϫ}^.}<ĭ^8^kTmV:Om?ϑu.Pf:l Wh))/MZpZ>kea`CSy۔9oؤdH#9K˦z/]AVeh8.7„(XMcSjڝ^b5(M<D.ʱDLup`- ?gYZ7zXZִF! ]ŗXiɟX/m1Sos>UX9GsHoQr/\|%_d*<-19ez[+\rrU(,߿{U$Z0$h4dFyR& lq%]i P(4ZnEDb~ɑb - Generic_Deriving  -u83[ l8ϵin: Uݔ)U^0G }[h.Zs;p*? 2 nXHe$ WDtitѮx`\fdHyn^sBi̐{ɼ޳ؐRi-6=6˦ {;eӃ'Сi)Ľ?<4~s @X5RuF?K}a $dz/mp/ /w؝C߸Sy]֝YVo~Ϟc@إ.BǛ40! Syϧ겍pg\#abO9hNk7b 9r ͧB@G)]y/1i~(_xe'|iJeqg(ce_Y@[Mc'F wݗ'HD{?tm\ȶ Lgi7ӬG?(u/l l7 ?",j)f zQS .޷Ki0k)òk@rXkc ~\1?蘐rkH^a޶И }KxS<K:j!{5%FcqWuwAOEծ~Od+/5ŧiE}S<}th$]uV^4MJ%cǘ#cJ#'gK2;V(!#ԾX\ HOI`#; _4cfo w;w9aNnI"1؞+U IVCn 5B, d@x*d0S0Z&˳6ªla0ű8u;Pw  +ݬRFa!YӰZŲbC{[|!`|YÒ3 =+okHldDߙ&R0}ҿ¤&V nŅM눲2GQ^iӸ&}u}aZO nxG)="fē@DgޜsB=+!;V-t,?,Ѣ6¦W?pu 3,"  C~p|FK3O@> L;nHlEe-'(<$\!ds;4 Pl54L  kIϕ$@V?4t]`G]{ڸ&2((Tӛ`ӇaBXQF;m ` gH^MeCT-S .sڴr)x_'tLod21 8Mno:ke&uqewбx=g b3ZXSvb,?մ dYH} lzAhݹmp\bHY~i0ܞ$j<c*bHu88-cQ`sJx; ?:LܐBcS̆yG9GI% %.:kA1^c $N,ظB+K]v]3%N8c+K*^B w@q{H;Fkh"jay<0G,h Y"%1YZ!dL/ɛ *t (]Mc-Mܭ\==.R[#0XCtl1p4/ZTl'+hP7IH/jAZW55:Ɯi=jo#kz؞tFnlC(d]5KEW~1`WW~1n`^Ҋ zOːqYꐷan#XRk pi QzW^3!A1!? ɐR*%ٞroIl[~0rf 5Վ3{<-sCk?*\jc㢱]o̷WTE&ɸisdoꞝ-/ x<+kiwo|ݹ0HQRڳ(;t1 z30D7 $ ͔V?{"cVnz@w]63G3:Q=mcCe rJFc=$h6/@=3f6:͏@-)t|OF1X+Rhz-Ӣ#q5nVد 6ˢ%]PQĢ+_ؓӱH䄿!Jbpzl UpkcP4NS3HS3wiM{l7[t3ϡ>[(',%ͻkܧ>M^x8 l"JvpOG6I*?.賃;9.2^\3^F4:Iv+~rtC@b_ >{$bJ@CQjTuzQQWkB]BeSZ]8 ݏeܠD"bFIXYNN`_?jirPC32h+AF"U;;sޭ +k8#e_-B1쨣0̈j {7`V.o) M:aX/XHa*ҸsHz_-k+sbI6O/~2,5)U`)Hٴ]kr넺/vd4(g'\lɴ;80F&{l4U+$, &ѿvJ-LJ/>YD_Fފ3A][)rP㺔"\y!n^:31ޒ@o &aPYUdk K(}`d;5in4ck}+ߠ{`;=EKAgplxa ݱ(Òј7a'sj`#OlZxCgA'@d.?20=ZfPeEW ܤ@gYZe050a5035994ff2380314b581410360b4588d18a76b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1