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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 9p4Td ] ]Pure:threads=1elapsed=0.798cpu=0.820gc=0.0007zXZ ִF ! [::name=external_fileoffset=174file=~~/src/Pure/ML_Bootstrap.thyelapsed=0.169 Sh' t\ } YZ7zXZ ִF ! a] ŗXiɟ˚Ћ. k$w|eڝ@Hx>Y/6ĄI.f-fZoڳ_ @gL;)?>VfBF sjI[ $$ } Hbg YZ7zXZ ִF ! +] ŗXi%L*\Y_c/y]qΡ6H`}t(p7f霟< l0&h B@p-K=EqL#d
VW`wV(¥PKϦH=!Tz1#)4(WO7غ +%txrR4\=
b$´RF`M;.U'ᰶ 00Q]?^2N>z>bG@ _ܥ![yT`Ҁ& 1bHhdzZDfl FYMkj5֣INhO=P!I2V}>*!#h~ Akb ! %g YZf79d508e7b9c791ce91f9443cdf0ba1e7f57650c56dff493c54cd66b7db0c38a40d271b408a414ea
Pure OKF9 R! |PurePureproofs/7147zXZ ִF ! x] ŗkd
諂{Ͼ:g"ļz!$/8
0nfwMi5B7~J{g{ zbMjFnUJI_efX~`xW QlHG~ .)g YZR! |PurePureproofs/7127zXZ ִF ! v] ŗkd
諂{Ͼ:g"ļz!$/8
0nfwMi5B7~J{g{ zbMjFnU
ghL6P wR pQg YZ~! TPurePureproofs/7107zXZ ִF ! c ] ŗkd
諂{Ͼ:g"ļz!$/8
0nfwMi5B7~J{g{ zbMjFoY&P!^&QsGX:T&?k m(^Pv3sW,mƿnp<-8' Reꗑ zog YZ.! 4PurePureproofs/7007zXZ ִF ! S] ŗkd
諁jmQdl;wdf0akE\ScmkU?= %B tU o :;g YZ.! 4PurePureproofs/6987zXZ ִF ! S] ŗkd
諁jmQdl;wdf0akE\ScmkU?=ޱ¹K\Ȭe xz o :;g YZ! \PurePureproofs/6967zXZ ִF ! ] ŗkd
諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa5*(VDg2eȭ/H.
` WE jc"IY }ZA= DZg YZ&
! $PurePureproofs/6867zXZ ִF ! K] ŗkd
諂#VtRzFb1Qs DǓr6xl
Oy9
*2Xr$O8 ucE#f g zӱg YZ&! $PurePureproofs/6847zXZ ִF ! K] ŗkd
諂#VtRzFb1Qs DǓr6xl
Oy9 >QP7t !AO g zӱg YZ! \PurePureproofs/6827zXZ ִF ! ] ŗkd
諂#VtRzFb1Qs DǓr6xl
WUˠZ]c.<D<"OD,~R3UdF
h