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 ! 4D ]/]UPF:threads=4elapsed=25.190cpu=79.816gc=2.320factor=3.177zXZִF! {]ŗXf[&:sFqX`xPׇ!9Un06N@M6\gg阥|Mz{[O &=. P1?ւ*B5d"y܈d-ΩNU uVX3/CqU Ď'.{S6/\k'~rb,j3Ю  ̱  [kߙ7yB"҇G+W7hy5J;^Lڝ- E=>0}JIg>O[Ob(/+q`p2j7Lfnע}80WA+È,  UPF  |xLVÀ!h",{U:Ƞ^$4s1ČȘhBfvL(۞rۺx4/ &@7$" r>o~*.xjIr7D#ܴZQ^qkP#2:*= U7wT%LlPpsHn,Rlq+J**,kC&j 8pr[^WŃ;EE ҫ39 ty pAvvH{N 44{6Cb]SqO1fvEq!n.EdN_ʭ'{ =Jb`ϥ9EU4|Rc kB@$lo5 XlB 2<g2mj M uiY^%*ٽcwtUsFn(;k2Icy٩*;{a|6 b}~j(K tʉ6%AHĨ|6n4ᷲ|9vdgYZ7zXZִF! ]ŗXiɟܤ#k0{/!xv'lFsHZmWunbPSlhgurzU)[OȞ Sҧ$@LE)XGfmUpŻ@ij,e{ZS %O3p%{_B hc*w~@ogn_YTH~zEF^fFkYI[h?H/Oh3i01zC=Wo3amL n|.r|UmK_n2 6|" Bo6{۩7ᬔW_V pX3m^B#+ K` CٳH wFl@lJ6}jWE.o x sgr:z&/^,NGAgQGXZ zfa-2IB gIVuTxAʠ%M;Oi R̝Na!@kqݯm, nm6kSc).g5'Ip:sf 豥;Ŧ?ևDze3$9X?w[|hwxAɴD-z&l1[E<%k6%S. ouN|A#gp rtWpy#"fN'պdjh} u=b_ tαbப^tSY}WB6B"UAssSdSj%Z3b<0/r FGl#AR}]_jei9d o~sx{gsHPG/hU5Vp6bN=AIMC ywm/"N^UdStз,7q: RA!! ΖY3% f՝q܈z{;TB2<^P'-_^g 0ʆX+|?Ԑ" 9"s&QoPl*qY8r ~h2Tժ$izL.Fc~Y 7f\|PJID"橪c@sǖiC,!}Ac\OΕtv5_<$F"5aMf>4AsVDgO]FYٿq;wԻ或tJFc>}!(YoZTG^0kH3rÓ~yL*P._ %IzKacGqqʹHpt@ a6ϻ*'D :٠*X9.Nn/LWw{t}.M 3C3zYf+/rđ,-b7I7*hwf*- R!*XVm:WqQ*!0JGx$tG[Fvb/љOW}UK?frY懾Ii~832/T5}lOݻK9# <DŽ 5K=d&F3hH?R%9g Q~BNQ)lfe^)ջt-؎G5+u:|m;x k^ /ӹ.g48Lǜ\x+iMa#H }\A.=a0,j}@K==^ߟ{?]*WG:ѐ}oC)ER|<5t,a*$HKy+ =9y_H%יԂ%wRnJVJn̗Q8Z&ErKsc&qȤeɋtG5zaW]B{p~#?ZCR>?ƣSLRc66AZTm{i "Q}B/S; nXev? s!w?M/5VRV~"Q Ȕj!ԱgYZ834bff602fe183a90bf9061e7bd24a73e89c6e8fddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbeaee142113d33455f1b0ca3eac086e58d9cda8f78