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  Llt ]]]ZF:threads=4elapsed=14.942cpu=40.040gc=2.076factor=2.687zXZִF!  ]ŗXf1-) enȈA$jB80l,v8-qFN}YeG_cgp<dK5x562Ѳ lH &6tY:/qekMSC \d}s*3ŘMS ps0p,ou1Gx8pVH}?w_a)eg[,2p `&Ȗl_cvi1bnLqͰ)nz(yn9(;B6Kxhmg[DYapZKؓTh.:\ HɃ6R Jz`a1>y$U1#.}͓ǩƟ1D:E~ös6wE&-ɲMe\0;h2JxA=:N'o@GjPc@HG78PX +S[ C_S} T^N,p<ے19j*fˌT:'1FP_mm{,7k#H+5Q h-oʱgYZ7zXZִF! 0]ŗXiɟ 1FE`u$dڷIs]ݦp(mg` qL¢r ch'^ZVzgkkD%MkVZ9T_Qф٦4%EiGӛV`mlXAYH3}ݶ1O|eY9Y)YIM^!jęGW~+C3ڸ¡xG\zwn ֦kͣlS9|c\JJrS>}z-8`fYtGm.W-:I" pFE >Ŏ];e)z"+_$D;/ 5,0̘&\9<*RɎ;  2nnS%T0iio&/.iEJy"ҖxeK?.QA RG(kOub6\|(<ɢp76j yC rZf~mӈ1΂m]9 c$ׁlzҞerArkT!Z}`l$exiΰ7K QC H[l>4wZҧ*ƅFkǩ*` Z:tʍDQ;xD"bW P{htRq zˌq֠]#2(MlSw}P7I:BZh\+1SWd.HXQ̿_ hmzO u.g~A8׻ B|.b>al[8Y-:red!5Jr?X2_m&cAr5Պa5s2?L$Ak#GvA)m9b]:B'}dcդƱ?9a&@B$T tuDYJf8Jxjnu[+w%" I.=tP}[lKL]L69~[KơnT |D&d^4蛰%Upxv^&5z 7mns'D4UM^ 8{P]%퀪kbu8A:~/Tqi}ɺV1#}K%Y{ \pɌ*ܓ?pa}ʶR4ttY\nKqbgWn"fK^R-CB5_6 2,ʲD s魶 @!9zr!T~{6wZSu3v2V\SH!0Cl-g{`尕y1aF:n8f6;J{H[kn0*J7:/4J zSVh,QB?u+X ۠_uC]}P^|[ʀUxnVD^n_x`a/=} :y`9rm\˗= 5mYq-qEfH~v| l2J$HOfs|.QH{g`wvfP3J@Ďaf:sYѸ!Kúy5YWg;@DM#~7e~vlj𻣜>yNxr 9gbQWY5ZêK.3A>)ܞT,d99F-;.jN 2hϑ{",aDkaF^gn%2'#08'^GHigK}ghنIџA/P[<AfS4k:gи$MXܨC@ٯR!z\p]X͵~f6J Bf^! .u8p:H HR>뒛"kЌ*٢t޸!\?+ha*>tbGaBlk^:+L6wG䬮dl )&-('/s tpr:5,H׫ 0"4LῂW %PW+_K⪙ۨp4Ϣ؋9;. ^/k(!((hb 6 UoiZhAk|6 ۤd`iyἻW\w9RZ!<Ɨ ſ|}-=A>x 25Oxq+7B +[GR;}j02JTfO6G\dbsvbc|lw;zgի'5å7`O~3`Ž8ѪA^zzeyO2In:y!V} X93)_aE)faMH%+7 fgYZ777efffad3a6405bf20241c7d0e00f430a4de87613f786b8f4762c1203e3da5c15d634b6876ecf36882187ece662c1aa63a0ed6b4a12be82ae2fb6a1  ZF