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 K7 |l ]/ WHATandWHERE_Security:threads=4elapsed=26.576cpu=92.216gc=2.928factor=3.477zXZִF! *6]ŗXf[&jӯB: ϨGvAq#2QxOJRظ7J1TL?BDBS(^P'sNy}PbhXND+OyA'JJ0eCZH﬎ mĨ'/Z'*H"΃ f%NUj[ 4w?=S!-LujpxO()2FYMkTnhMÇ,W$|fh(?w +UF] Chem=2>%:&KIt$0K 圯^ZL 7 WHATandWHERE_Security  L"2 [BrH4aT\ JNNlvB(F*usS @k`> m`acZ Hn 擢;OԇL6LUC3+ANX.s*z2 "꼾5_* ھS# `ڄ/ zv<}~(.k:)'7J0&!ICv 1|~+i$ѸΖKPrI[GKt;؄v{+3!e)A͒U{@|G Y]v[)#W;L;ojo-k@չKb-Din[t*Cr\>kxv13xU՗aBٙ% .b)Ӎ6_8._[|[A:Zi>5Cd3P .lN"Һizsk'֯Ⱥ 30s0Y_!mw%T}>hqϣh&;; _V\3W,xq` dp2nH8 simA-3c#-o]Olv g*B9;ک%',¹UBgYZ7zXZִF! -]ŗXiɟWڱIY\u-Iv*#oɸad|si*uUlҁS]=h I_%P^lXp.q/H!O2Z)2z R!TFg+PU".iWnI<VW?V}b0BŶ=O9!?aY07h:Z`߈]!=f`wRވMr;uɏ/t7_h REi#g؋8*:$и+X(t%oٱgYZ7zXZִF! \ ]ŗXi%Eb⬗s` <4?IGJ+W 5_4Q%8oVܒىh^Fx=?BgK&N}ޅ 4iJa`:wP˥P@:CJ޾03qk6UP  2쮧q4 6?MSBصA<݌Y5$qJ y87AF_xYu2x}bz'fVeTf>K* A ݞ"Adzj-U J3Bn6 @8 R{O`څ =z@5͗SV:lѐ3*`C6ަ;T0"!?;pDhq%a56Rq4YڋedPeQ]Z?)GS+Rg 즘kaD ћ.\o6}iu&.=#iiXfcZcAbxZ1s" _yBÊ({q! Ei!Ț_s<+ř`q.K1"wN R;{QRD&I<@i N҇N([ᷙp}ajsW_aYߩ@""ә!"fgxdzݎYn+4dxl\tT2aXBCF-7Cl2*T(7uV)CAoQAJrb jݾ}*t6]>iiR<U_v MIzxQVH\kGՔ'S(h*4F~! O~w;%,)HL=rqJ!V4I]3@jG?|ͽ Ѧ1iAN30H_8f窋3*#;F5l%{uH7%X1uݑm_C-{a ݺ3]X.) D_0z+CXt鳼pM sȌRUQ ;jUBc!F.TK7+^BhgƖc_py0dž뮗Ժ^HPd9pHG( Cȱm$$ |DKFI>\2s}QfD6Lcήg fBŒ`q>TU ɨ)s^l,A]LJ9˒WiY5̈́q{#KJ=b=b;T\'m5j< ;tG_UzqƸuj:M lrΚ(*ݖCbA0/ }p v> *,VW XHr@ͦ!72f.3$/ƩdLwä] Q AS#^U2Y_d싗8 iyҬ? znN~[ڊ&:=$LSli <(1gYZ578d2b83d435357ee33a9869d5e9f895305f561087d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591