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 KK2 4$< ] Separata:threads=4elapsed=7.781cpu=26.500gc=0.536factor=3.417zXZִF! X]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dػ9heM5zQڤ`j [QzX.<1[/E& }ċ5%'88EWH`Eq`%Cf7Om.҃ۋ 雋U!Z`ߔQDњP~//>yQH$HeO w8P {P5Y [Kn aeHX.u ۶SOSVd_9~߃Ӷf=ӳ˵ꢥ[qcm'_n] ͡˘&\lpK'n`f7X0s ȱjݱgYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰KoGsAǻ=~h/"=o^SQ{m}iAb Wj"/BD#nc?ĕ_`om!qǯ m#ic{ygYZ7zXZִF! @]ŗXi%L T`ybE l٢ž_({(p|cK*>Wdä9%%c8C믆~v̩=EzؔX-]HǚwE5MmYaI0Ϗ/wmX;$H0Ss/CO Hmn!dQ7j/^pR' עewB,ڗuwOf.@v߲YyLrf.s2r$3)?,]#.0de@ZQD2@'fBp`bUʸQZy01WLRG\PRg6gyR˪ũ%6a6\cNuq$qW >z| -V R%IiH-';vGr( 5W dܗă~;\ny(rϞfoH9KwP7tٱ"e4 ˏ:ƺI sd!ޖ`^PM e2d=A7qЎD3sbef֘XeobJ_x 4=IV ya^E]@k[0jgVŴmeܬXVăEx*YoAFKH5)%L^'pu82,Gl8=p`LI%q/= [_U9@1'[[܎ s1gH}"8Mǘ%OŖ\>ق<VP=۲o ||`K{c.rA,B(Xjg>#@ ɯξ;]ް6S O:4.'\:DM\~:8C03X:=":YHv/r)^a>*i$V /~{9Y~^]muOR2v)e1:`+Vo+efrs@AxnS'}K?(%Y8?&?v :U:|Ϭ`KICK 0~C`_YhW2]k{ T(f:&> l!!z~HW+ Ӗ] y{ĺg@KZiAv ]%.*%=(c߶7V3H D5I4pLRMnNE[z^&c,Q2b|y_) \dI vp5]LmUkaŀ (gYZ1822f4aa4ba5dd1c18692f0fe5f014371f32a007d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c   Separata