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 nn l$D ]/]HOLCF:threads=6elapsed=12.679cpu=40.608gc=2.712factor=3.207zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@05:#g)_j۵M] c>`6qLW]a{~A7~~ы.tDhmHyl9/'X酃g̑pydJ}m*F&ى>J>Xo3TONFW؟M<Ĭq ۦZ1C/ P|_t˹m5opf'N4@}ޣ O@sq 9kz pԕGT 0gZT5<)qz{Lz #|%h5Pb´ icϑA9v/W/Ȭ)ɕ!˂[*j|VWMc%(0:ۘg X}s)>뤄u (H,gYZ7zXZִF! I]ŗXiɟ>Ӈɇ9S2]k/Su44TP)KAzܰĢ"Ίt ΗɼʤI9}׫ۤM Z"Ay ̚9Sԋ?%&쥞S{MRϯF"^$|ֿ&s'' <ڗ}gUUL7+H燐ąB%cI#/ .N(HV५>O9GwÁ5 y<=}a*Ehup 33e"% 8xY -ʼn'u>8iώwc%:?;/~A]5^lU(/ >V;."=l\{IF;o/[O<ɇrΓ (JPɒpT\'F+MvD*&xJG,ל $?Hwɼ轼X Eb&&>uŲz#B$݆ox;-g+6Cv,?r97GLW݂ bDdXH\kf~}gYZ7zXZִF! E]ŗXi%Ji̎@Vi`I<'N-J}1 W{܋fa" zԬ)n끇[FDƀ 6)%p((; Q$@ES~RgFo5wP8 B 5+Drԋ~`H0?{nvƬWfy5SKcXl% YVQdM/2|Z}sRgb`*E:|y"V*P7Z2%hT-[c i_¹@+nuvEdV$ޢI`XLx2;H q<:Z䪖E פҫ״@+\t:-LoUNʟ>yJ`D3ǀmހD}(0)pR 1ɷY:JۜЭXtNCQmbngK+$p$IAka 鿘%*&Kfdۊ(i\i8#&=$Ӯ4;9bD^~{ ~y],)3n0R"FPڠ%% ()UPz9Ax~*F @HNx8 BVs,r:^6sm3 @]/ P/OA0J"Vv $Ȓ +Ћg4a4nh;TaDaqSh5A[yi)KF' d@O{!YG0_y!{;ŰmG_kLNi& ?g~kGXc>}BSed$a1d|"lSd=$'նHW^zqfF i8/6A-1I?:#"I`vw@ވP&#n6f?TM}4 Eӻc_&ZݞoΔ[Q[lF9t~~MaV)@N5~).XbP@1O?[ fGbH5^DZysdp@~yTcڑWw%)^ATMMc[ފBzpj"Pz,UODبx5izˤg'