SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 44I | D ] IOA:threads=6elapsed=7.277cpu=29.720gc=1.108factor=4.087zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K _G~o,,z4l=;XDv< *0#CZClZ Y V4Q2،[%`Wr@CyO PAmO^*_[- ѐ(~J-g-%u״)1~$sņ?nn_KO+JAa<6'蟌m_9^CmQX,p6)8Bz#y/̀Kr{}fdQ'&_bf.~UI%zj 2'dz^iUqv uP:[p%e?8+QFeqnTҵ[K'LxW2;2*TÝQ˺a] xzV|<q 54Wt$"D`.X.rQw3M"9gYZ7zXZִF! `~]ŗXiɟdN'LvH۹Dv`aFz3stŜoŠT[Q$dVk^դ5ðPHHX\ e# -˸ !FãamVKZTWjcӼ9.o4{{0ϰiI"l V\QPX`f2x] pSSTXkJ,е[zK.TX,|;)hJ>K*%3X|r {ƬuRВF^ڼf/ZhKw!1@AAx)ɆD;8HrҝIIucA)w+T6=kZj8턽<ݪcSX= w Y<7 8\[gYZ7zXZִF! &]ŗXi%;-ස. `uVI|IZj{+g陁Ui '<]R6+Tox_g%kJ70íIo_O##.3`uJK9g]:К Z(vm)wzAP!d!7Ѣ~#7ΰ84v%u|R?%@s&Ǘ*fX%O9GE&J|X"=>](|7i&mdt6Z3we+tG`Lc@NBp0p@W?Ebs<c*jrMh >,֭j4zZ(`V_9F^1)si`X$,S $Ga:0l^k֋z$>z5< _,SQՙ9 ש AX1%YP4S,mAQ"Mkڜ +V|c+Yip,;3 ]&]}$V."^*(B,ߔaW{m| X"PEnt[_g^hu:|ҁ.l8 蕋b[Hdu((`fg7zO؈#%~+A1]u(OI~IW#73uӉAvdw!H].м<066|dDLp콱-yt^#eB/sXW!QΚPA8#)rU~ۃlqB=k*'=Ts~_ t8(_ܝtpبv'gk$ ʛ2Ry z}SpU '~EHr60j܏g'ww[QM];gYZ7bb93959dd8e93cc906dea9b58422ffc6e98e07d47fc8421a194889d814b2263065ab8e04edfa5ae 17dbb756907857c7d44e7b32d4d1f9a0c868c32a 126fa67dec45c73de2e6c6c347873058ed859057  IOA