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 xxDD ]/ Szpilrajn:threads=4elapsed=0.344cpu=0.744gc=0.000factor=2.167zXZִF! ;]ŗXiɟH)0%oW45uyP>JHmM>eH`-raeX}m򖁙aAEfSL7%ocb+Gdb^fr3xLjbį&3:{8zU o=N{%g9ܝ] ]Nc/UbC,=P}QݾϫCnِ pyyvtuQe H,4JWB Z{n C)qc+ͮtSNzG7)6‡E>046 J)Hoܱ֡_줜XVZ,5-UV_&iqy6o%f؊8$md# 0ӗWK4 I *FZdP_YΣgMwzxjkK&N/CA=u-DZ s#1u?qd=9'<Vx\U]pWбlOI#<|&dħ5Xח2_:8ge9˥ . fojyy%{T˭gŨp]~Y|&޴_烗G c̉ EhRCaS1yxxCmy=Yvnn}I*h8 '6(_zz?EgLvucɛp/ՙul~.X /vKOwuIBO1T {(ܥ#"%r-Nj`#/XU%9( ҜyƀR_̜j`g>-ECC[{֫#5GQЉf/(GF[[hT"O(}Eh*vٜ KJIĢ~a>b`mvm*Ĭ*yjBLYkoL6 3tN^ˣIց"ͼ^M w [4ś6 b[ְ1ֆpFƶuuZc2kc Ta' 3$nWY@E7@hH޺YYע)Iذc1ִ3͎̘xrmf.=5 5lSg3o*? ULp1'puf?dN+%"$Э9Wyoy4(* S #şq*k71rH>\OÌ =Ⱥ4jM B︮٭!=qG2# w*0gYZ7zXZִF! G=]ŗXiɟzZEBS ,iT̍iGk?;ՓOQ>f-MN@XYH3}YZ7zXZִF! ]ŗXi%L!l+Dfw| 9*KMiQj5;7^44/ĶA@a\V9cjT_-vJ?Lf5PlIJ*RoR` )bLSJ~} j҆h&zL 6ʰ8pf~%q \;lAv"K=2S8p#y}Cw$ekѿqg'. E;E)DA"ce&_7v{ro>{KPcLvώs=Q; s@gy?,Jp[#-&o,(<1^fs&[ESLC eݛoGsM+쿮n䇮,4p5=jMևG6r(*7B) 2RȈj2/3d,)g|p%"Q;±gYZefa96dac44d64f87b4b2d318b5f7a576fb17cd5b8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61   Szpilrajn