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  4%;h8|"*sر9DS|@cL\ΩLُF/0SmUBiLΙ樠u͕v4lT~>@xyB/W ->vlDJqE=fuzK,O#I;։e1uZ8|j kp11PEb|sX֌(ڬ/?Yaϑx |D1U!эiYoFCp5f)[wN hfu3W G6'Xb}TOI7T?jJV:@MQ]?+HE04jdȦ?qNp܉f?]AEY϶Yߎ7WƒPL'~-hOe2兔sHTMi.xhW!V~ 9pAh>7]:MW-Zs!^O既. ~18Vq *~So,,D:>q2ʯ^6qRK{A -ĹƩg? | .,p.׾ڟ!,F,gYZ7zXZִF! #]ŗXiɟi&w<$мI*0a)/~9g?21ж -hF~6KW~M"g+1"WbIRd$C==l:AcSLFi7gKtL'&=B M|k8~ PiaP:`5HWX H8.-fz}K:%+H*ݑ.sƪ֢*RRԕhk{(t K~' ;y7R3&a((Hw,P'e׎4UJU-x0E S]HaKt5Čl$PvdH0hȕDI~7i#%VykQ<ѧTM6wƏ TpC7D&O0]M|`yw%[$0.l_%F1s}+z> { é{j9R x:սTh'Z2e<#ɓ>P ^`%1jӺXFb-^>%\n;He'>ުk3^G/}>-V䇋 &zg)LJʓq8÷ GHg0Zb'[ULAMԻa{0$w8Ԏ@㚰n?W G$'ղb/В1 *X" @R~6|XkgYFiCÜR!@y7NJ&Tm_M+ho2ntjS6nq-1E`NlȿK Z8Qc`E}N&Cpw~p4/RdIj:Ǐ%\BfwW DV;̟  ga \l<&/!T$p YL\#Pr#j.&`๷x`&Ն=q,847yH VnL^KHL8Rlmu7'[<Ъn\C +r!Vؗ(߲ 1Anhv)[;2iTo[7Hy_H9WvwYX,}" aj8v֟r{ud0ӺsUoNnFbMZ[.Uw!a +L=DyxbF#7 ׳З gRz 6Z'íɏuC>A>_ĐwXL4*H9<^s}v/EEw;?6(u x.[lTң3xL/~5| >$u w|ȣs CbڱB+`ŁngfeqDѽUjen^妫#\+ tXSfXΖR|S3*֙;p')5[LEROBkxiڸNj4*y7,*}pЫ3kC$7\OR&wf@qU&3nG9÷ F/@oUYZyh 躙NBehML +?4AsHx;PS `2Y_IZ ] HlEƯR ^A:=V!t1NX6:UJ=ʐ2snm&eNf\ %S>0Nt#PǙP3Y?"Z"nG(SFo w'@Ou]$6hz=j5$\cQ!J|)lOqfZKai`iN >