SQLite format 3@ .;  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  D ]/]HOL-Word:threads=6elapsed=10.203cpu=52.188gc=2.720factor=5.117zXZִF! mY]ŗXf1-q恈͐7ӺV #^RE=4E< @ jZQ2Cd>:cyҶE=ۨf:HhFw(S*Q ;-,ˤI("+ȡ⣂TһW0N3R>]U J8hiۊqzZwN zC{Xn>-~&2l{buCIꔰvKar#;ꍫ&~5"iM2id¥jp[VHwhrY0;[(m-S l5X[oq Jw_1bU/hʣsn};-Sl3} ?AڅM)@^}벱R4r(or!j왏h(UhПd?DcvtVBvӠ1",gп(Gpϵ@hBrځS@=J1_ʭrO=iWrJh>\/H~'VbB5F#=]ne+GVOW(9'bPӗM~F톱UmV~Pmѵ ~K`JE%G(u cGZ/+;ҩn=XxYnBBVO&UJ68'mkjk3 YkB9psVӊ0k 67NN;vgJ)|ʂlJ& o@cT|p'vAk7*2"gYZ7zXZִF! |]ŗXiɟ1}?3DDCBCmlOŲ ]ЮtW( u-jU}(IGn eҷfuySݨ6`᫘(62:܎AA [~MoP6?`~afn\wڙn~YiKFxIQKw!:/˭\#)l{!>8%Z Mkv|Q.ڦhgZ&8юоv "O`R顯 Zqa{Mֱ5JlPx.,4C@*O_$e::<OV\zzp^EJ:5$vT [Y` O%U*%T #gYZ7zXZִF! :]ŗXi%I\QI_:ϮL WJ!@WVdel9L ZGFQ!rWyP 7 !8hq1iwxsJ)BZ}ރ4[%ؒO:eh`5y)?U쪠Z+PVDV0bfM1Yדs 0Qdp+y8/as};[>  {НY|>7c8]qWZN '?E}+dOWR(KT=H?q7A"yMT::D|~ֹ-⪯rUנּ`ĵ)>KwdXܬ6[pH\ *)j1gЮ/Ss| }Fa*!y\|Y8/wڸTH8Lû#>Th Qj ݟ20Lb%yTݡ>z*E% $"2cĝG~l27 *y@MR%k*\$%8Ժ7 Q˯'wI/z׸YHԛ.TZV|!.):>6)e˖"_ߗs=yPM6&HP ɝ:J l*7+|Hӻ_I-tOۘu~e!QI E}#a; ,+7od>OJ/A{>d%'@'2eSt Wv{%Um'*4K4у"f7 ԒlY?]SMHldm ?z:+m. UQ{Ya.$csd0i4dBvaб9&z1kq-:L|?o<㇉cS=)pBY[ɽrtç1