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 II4' $ ]]List-Infinite:threads=4elapsed=14.343cpu=52.024gc=2.068factor=3.637zXZִF! ]ŗXf[&!9s`|kK4CQ.Ia Y<]F#tڿfb3Z4>BvsX*ډXxTrO'K6ï;Y'OD"R?xm-u) ? 5w6?3iRQj\OfN1D%Rd ,+XGP6X{sf+4B$1SQL~H*6L4dv iʇz-os[~MSq;u^,i %pq&oвq֠˗+}5J;Vfn]#g RkRy(Rjf)*Lsn@W/~(:`(BW_=4'$w/5, [} !X5lbÊ}%}j]iuM4 b0ij8+q-<ǘL=46÷si$.v%HڊHrϙ^:-{Ñ|Hv[G`;]}N_i [U^͉C&qPٳqf̗Z'Iޅi{owQ+`kisq#uжkn2C${C7~%"L㖓AZ.~.Ab8L; L a"jΰ&~*2t'Vzyj9tQq"|]q X8 PC$=%kh1EOsV:톞y2d?ATIZJw*nƝ+EteOŜM5 BRWv/ I38 U|">`2GT+W]#\n-Ggsfoo_}kX6[ШPmeϞ?o(R oK)g2R ݇dAȑտ'og* !hISfL hgtsoB;Z,|C|5H.wWxklgfJ^bF҆HMWg*1;luo 7'@ifBfحRXPG/xGraH]@@jA| ^Wۃ]p\ޢ!6&7,*a-SA.yEc~|K6|^aI"jŮњkiDe@+{rAj J7@6bgرԤ`f#T 6 "bY2{P{ߖ+-+AD109fP C %y6`P P=]X~/w8lNKUj3|1]<̗gHqq0UeP0>BJ/tt7J0LetޏPNl?dBo )?&as7YM F `Gr;N5 7 G36 Ѓ}pf7bUs@U z6"E:OV+bıcժXX׌ꡑ|=E"J1Z$]-AȀH-s@b0mcGK E8땷-15wHs~pD&|umjSKC/uAbj~aƀ7 ?DŽv0*);ǀĔgn2jE5f^ H]W0kס{e[LTJ.lV!2ɨSʵW أ/iZ EM2,_Nߋ]B4=X{u8Z4**52HIhR’`@ֻG&:;!az 2|IK OY"Gs650ƃӐmY7-r[2KPTnm =0Fi{^@:xx8 FV H/': b4bϝ7=MW(#K%k}vѢr{xCߘ0Qt(p;puT\o!kXe[/&bZ`sc %cRQ )wC6U+,,"#晢DمZB5?x{E/zv(U˖1?ܕ&gYZb938546082c04b767e38d06cf313de8070c8f58dd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c220956bab60ac93f49e50940b740813374964fd8 ' List-Infinite