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 66G7 T ]/ Weight_Balanced_Trees:threads=4elapsed=15.377cpu=44.232gc=1.424factor=2.887zXZִF! $]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsx.a8al8g3ð6!]-%] 3|Q&l''ćSgP8|;;14[EJDg/jP'$QG;)jq-Ȼ9 },!hxPiV+ilDd0 v+rx R": ]r􇕔Pwq| y$ l>QKBC!Ilѱ͹C!u{&HNT3_p;< :\r==-}4 Aam1Śd>~=9HPmi{Ϟ.:UƲNĘ.c,/}.K!-5b|".R3wiK ʎ56zۀzw$&DAvF{#"jRJw Ә<$!2%oQ M9-Oddާ<7wK uaEnnEo( ۫|O#+m#~IP]B]^xh .|b-5&nR{F6p|3z?:rgRhꔋag6ϯʶmh:Bb3x2bdF#Мak5>DA~B 縙/p=(u޳&@m pԻʝI׏*a 3aoDtt/'!Ay[0SWe%zGz '#(_l^1O/9,8fޠY޵bE0$H,d_?UW~ ˦JIZ쀙3NOε " >pAdԶ} ;YuM(N' WF$T Ay8*[q;xik| |~*c7O+<ntゃH\ ` '>]pNH]1f(A|%:)JY[3iz/Iʾ顄$Qj?=p'f,!3Y S Uak]"%@Z7MA"Ӻ8/.#6Oƥ:ȬuScQaiBMan!oNǹ@F,/r/*w`!GBI3OLsA1istE3qivڤ-SJ20s'Yjg%{)QC!Fyɐ>bBy8.34N:=Gt9w@.}d|m}TV͐R_:l0Q$[x!p]c \zrf򞑑~y $!e:؝JgՋMYdzq̈VwXKl (ifօ[)?fJ?8 ~_T;jځ(@~ Yh9NF{jCd +BHuatIQ?AK(Wy P>PՃgbs/x! RYB-nX+؂ N$-vVnVX o]f3MZu* "VLqbOĂb1bx@ e8w-12@ Lsj, 4'Li5nm@CeظIE#%+_/Jh=!smdZWRm e%.Ie~nfZݧĬQǧ$յ&>p0z~Fҭ{06Ȇ^ZF"35{ }1| ~Ha< zjL$+Jma3uә2_+fI2|Yyj=8qtl&/j/B4ydKFA X:ʊPffNû'|hw)N{IY;]Vͬ]ՑG*jILӍ0|ٛ00t+U~5[k2o=1Pw y;-V 勸ڢ{.? ck@rfFXBKLȏ|)LV>IY ~?(G&@,[a