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 PP-# |4$ ]/ CISC-Kernel:threads=4elapsed=13.856cpu=47.800gc=1.624factor=3.457zXZִF! u]ŗXf[&}rsSb7h3C^Y;i45j9 ML?}!zB;*bWM=2ĒVdt/3>9Dos\Fr?#S {0l0 Ҧ;lfgA~2:<-R] +dkl.ȾUl(H\ =6v]Bx459Zt, Ay2ȊZgNӥGhߘШ5/*ҕ*/SCU8> n+ǵ\d̚?^0&\y>2 Z~JV<K 79.H;cKZ]C?{ctmIl+B0Vׂؐ}2Q&E/RLw٫ J$}{)}E}Yp)'!Fxdž#=c u6GgP)14JC%Of5,5J]iz|" %]Zu7hHE?:_JDnAo'Z j+A4Ā/yV؛{hTwŒZB%VQAsAGs8Bɞ>4ߚPUON)0_ $ᗁl @pZm(cSŸ|UZLI\8tB/@)U٘j?/Ł8mO~xʡjR 6ƿ^D',@OU(?j +Vtv?5gYZ7zXZִF! T]ŗXiɟLN.!}" nPBڨ&wjn ݂`]wM~; bG~Xr_:;+`INuދC#*p8ªSd%O^Xעi|+b;"uՁkU͒,C/uXj#њϋ/)e-s#JŦ(lMi1'!r~#.F yr r+µ@`R,&K(i8͝V) q4 _ 6 b%gtW/:=r"H/>GZѦqdݢ(^^ LcٱgYZ7zXZִF! mL]ŗXi%Bo1E :;E"ۆىI HαcYk6&LiSR}n>3BA(s2@$Tk󵪬&O|rFFiQN6 eH٭h#f7;9$>HXwl4nIwSG"pxDoʹH>V-g*>S smAmt4فI8߁Mw>,e[HtijrcL+xӷ.+e2(u.(4TUbiPbmJ b㈑p{fyяY-a'OˆV9$iFLJD@-HȦEx\Ս ܛמ.Ǒ2)ZwN Ä/fV~>#2ӥ`N+LbMBJʒb;GI(ENwe2ZK@BuxgT@1$.uWLI᱃\Q@8shCG3;i.nkr/`EƀjXE!-ֶV_%(fW} ~?% 3MT#EٜQ@wguק!}y IoZ):lz[Z  {l)3.Vݹnu7Gp'M4}?D_2zZ(#+| \~*AAVy#+A\#&%8GۇIvޛcg2;F=>=&֋XRI.V _N|V}dDy)`/eykcƕw1r*km=[!OD5*0Է;ľKbEI oܽ#T}6]<D3ψ.-FXYw'jBN97j.~ymup/6a lu!Ȁd`%{L|^ŦpCYV*Z