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 7/~ 437sb /Q}?JYJ{BFgf q1egƎOvaݨѨt;mmB~a^TqovOSMa/;Qw =/y]OR6T=9 !)+\`|@S`tVl9g;BNXjAbTA2hVv TQ9TJѳ|’!R^)կm5sG&U1@SJ%Y gYZ7zXZִF! c]ŗXi%>gt .;SE)}=4[q۞gCOSe2?^i3KT7 Q—Q.WN(E`1A8%JѓϭJ^: ]L{<)yZ< |{W%ȥ@v_zd]Oj)`%ݶr՞cWK1 0&@v * $ Agv/>}0U|%h3Hk4.66@ k.enxIXM_&*.|g?s גZ?bso5/ȳ>x3 & \TEB9yX3Wֻ|A ǀ2 AFNBOP>N.Y1DʻIqgW|!ڕ{+5 7K2 qy$(maa=4CtDLe (_lȶDO pPG)6 ]6RLMZJ7m~*d5mM(qr}f>@ X4#g@=d|*n~'44rwĄSBw/ IHo^)L@:є Rܻx}oq6 7 BytecodeLogicJmlTypes  !)Kns~.fŪ}7T"mi#u~(>|Tl*kd={QyVkrp6s3 /[9}zx6W!i1t@s fщ,Q(WskuZ 1?]2'OyS4|#-]AL*8C{{.Ifܨotq76 _ <R+ 95h0Ͼ^'(e/G3DmVJN02:uB9\O'$mP'p:ŴH Cz;ƘHƟ?3%GHeR?hv/ӲZ˷H$w .FC-R`w%lQN7+"_99iKYa  l%NRCoYBDWl͖[tWw6t' MM"G. 7pn!U96,!u[IMI2[? D5^1f}O!kfeԁʹjA[Xg`ʼnI+˓C6?Z1H:5] SUTЍ>m9c=+5zq {b*Bs~ ,7T HaZy%x&ߗM) Et[r-ph{㾾fcouW)ElDry$Ya!2$V"vƀ$Zq?nEIijF& 0WD̰^#;yckf=pu Ʈ1@ݻF" zش y\[,>Yfux fnE;n/ ^r9 FɜܧŁYŀ6:WY-\P&Yc^6!%OӻF'Cidտ{'2<\3O3*?f`oJEՃOsS_!v}Z\wc~6HS00__8tmjc)3'j3p*+]~"RjB&5C|;rʀ'Gl qW:FgnOtXv1A6(ē>.IQ fZD }]ln3N^)`b I$+DUr10eԡ\9u$UMPIA>{d8mX8K cOC2 ʒۜ?sqK#uwx6mR7s>͈vΆǍEA_ɲLjglf- /a/[YO:R|qV9ޓm`ڐ2#5sdS2ǝb$.ijҩ<\W@kw^vv{3Z&Tĩ1u}҆KQv\Xkh-ˆPKYr$Yd[ y2\h=HyCHp/Ar4x#$_`bv<@n\cMk?_ROK1+JjZ=cL_N_E 趤S㛛=:eq VEŮ߽@8%\{V;{zElW;̧h㯥x/Eio.q'Wh$H\ـZbl!ՠW2 ?>&\D. a;x$U̺\[ke#m`esP`RKMUUgl턄)}a_ udz6ZK4*!-'ҪfV!j*zIoټJskHr3<5 Բ/rp!!Hcq{ؑxN 3m Z3 Z^*k['5BYPz-W/g8]B=Q?(7pE/6,[0Ӿoe׵9#8D.1ܖmIz%oKs>Q>W#sWtgYZd705956747c314dbb7a52a6f4ef0511435d179810779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f