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 y ttD ] IOA:threads=6elapsed=7.059cpu=31.220gc=1.284factor=4.427zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K E{hX49<3JfƜ7'vfm1=_ 9V"wB{.sBuo4 uRKф5ԟS"ج6+FAX2=9r|DA #v- !5\T2lx?hСύ(=5 l@9MnlS ,n=4`1>+,oU 1~m@*qcŘ%|ģ0yACd Bkӯw'kJ>wktk=+ \P-w! zO_p 'Dx#o%: &n ߔٯL\&)EK%g EALDO߈D) >7;gYZ7zXZִF! `q]ŗXiɟdN'LvH۹մQ2Ǫg 7pλ'Xhʄ!;dGT3.l`/bd٬*#!fiN̹rnÅd~ڍ9b>Ͳ3||$K!\LǾS2.5y ϾnsQˎ86 N>[SMs!SMiU܎)IR&j VyץdAGf%>rgy Lr~3J_#|QaSZ=^! CM7a`ΊŘal EgYZ7zXZִF! )[]ŗXi%BiZ/`Lq@^vY=lXSsTZ[5-+(ųv;&eKMkdRȜصE0 %c& (rLv,TbsibGynd[i+ KF}Xd4A?B-~) A"}%7ɧԒqXT9t!Xv.?8USVO &/k;iari*MTډؒi>AtH\K0~ Q[y~S9Kp" r[X'4?*= ˆJ&2lg#¾h jƂu([ّA%'mb'Kߩj^Q5\L3E+(`)cHPZ]k9[G7X-?uz FⳑSM ;Lt'#˻B,z4xy5X(B\pݞ_9u-Xn߈&o=Xt硜\\Ullʃtc_v_EK|^!$t>|їv} yX n(^]P J3N:&;$厽)Xw}ڦ]b# E_@y #EBr'\l!r.x+'EoYͦF7H&%_@Q$y"y-B