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   f!|d ] Splay_Tree:threads=4elapsed=71.084cpu=112.940gc=1.292factor=1.597zXZִF! "]ŗXf[&R=P"ՙxzВ/se싡Rc1Iөz"ne]J%OlI':_G2φJ OYD Bsxe ༘(M{/(Aky^n7~+tgyXW$5Cmnjf'lq)@7l\LsD*7#,i2ܽP3/c3Yq Q͵N@Ȩ ܜ+h@pc5 aGgʌqƭtg7B*=h-ODXIqn:gnڈfY*.[O;֨fOM\k7DhA kY$$~\͍OQ~y] ar}:lFRjtәvZ?8.kv,U5mз&k f|+1b< }?k+4" 9qmtW @28٨ reﭪ j|X=c$ b;R佌x$ЬRO?!& ZfrY͵=cmTR@o+9< x&x ;xkKaA[(߳{E}a6 AU SЌ}j+Cէ;C|s\=;UO0 $ ;9KOmHjܩc!KYS ]yo;$%1=4:( 2رgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻\I@:߈mQs?NFJ`z_b@a D$v5L%3XX e秫@v'LtGQfƳd/|Vw ?-t=hu1`55( ՊjP!-yQ[v`RX>QYkN9֚U>`܍0\p- c]  ! Splay_Tree  .UGח8+LJ?\FА7O׬c.( Aie3IN+K"ܝMB&%@` xf*NF=Z77ME=y΁{~Ȭ6_ߟ*7Q҂2Zz'0.Yp;KwCsQF%Tgl1 7?Wm 24sZ-qݎ,yU%ƝpÑ 33ǀ{S؛U%LV:nQ \PCFBL6Ծu)?_]N56/^ekaT}pXn .OЫ%/T7%**BKtMv;QczWiOcsHEӚGoNq39R_d 8eP;#BB5c_wZCu8!ZXs S5!C=W0`[\c0 F ܂ṣ.N ر}<չ2󫾒JG7"t MPpdާW _K,=^ 5$biX\E;S mOG#f:R#ݮJb] j'6;="X /ZMtٕ^R@ .^Y\I׷B#x6m5W gQ qY8>Ώi{Od3| &/3a4ǤFPjb jL\V8fkb{:h{ԗ(nnaУm#v;GmeCm>=Q#|;3Orc: yo@tΤ>?ө|F:Ǎap=^Zy)ɷCD˧Tai >z!g0ejl l!|$CzceO!Q7NxdQdžȋ_"VL0dbo:=~\աm߉w$yaQ@K ;kmlM4ośa9{{^X^ت21O^Yl>gy{tnS}TBOlpɉQ T {_B+{MkW*y#t#!K wOmmsxJ+Pvye^)a]k: -y*k cJ ^5;R4c4 NE<>}~crBcf.FW я,}9fF.r >LZ"O.4N _|_?ܩh>q_|KxQFX̪^>J[9:{3ayVW挝8۪X:f- 7<7ɎmAf ܛ־cv2Μ\5$a/8Ўp/Fm ȥK%=]D'ψj-hXR6j1EvZ[$U8^0Q/93Q[ E:u:@ȭrjLp$̸G.T6U$?6 8S/.WD'|1/Uv U ϒYWעlFl-Vy'+h!3zuF3ODȺ Kiu u,M &J0=˭(6ݨKON)լA("-)L\?5]apz(^Q_ Q>Its;>sWmi{xN`Bӄd:Ntªzwz>1xY( Vw^i;"|jwA<Az$%tEz$LEOP VV%v o+9<7J<r|dLR'.CZ73W[wKFE~3%6ufFr).b[\@=U{m ;Ƣcb+RSpѮHVr۫ [i R7Bf;G!;~&w G9̉"JkUnq}}zyGӬhb%l6ܐu#^D$շ?ȧW`8-T#pGрJPdf=onY3ȞGg, /2Q>?Uf CmZ&T 8D\*I"kz ŤbYӜX<&?x,S,JKs]v"bDxIy_hnrٹSye6&+Y<_AWfKf2߳ 9>̼T}S650PWR0M@3DFx? l!pgma;1bZ5i̮s=8GOm;bc! ^ѱ[1-}2LR eRI^PJ?M2duo#P(p]B'"Pt[Ș6Y o'5+IGR-UNqS8K_v[]$s>0v7~O^L[C}!&i촂_W 'hSxɴ:VrOɿ4wfqplXu <ZڄJ;kƳ>ɖQ=%ȽPS>e"d3't} N+~ N