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 99D/ tlt ]S HOL-Isar_Examples:threads=2elapsed=5.811cpu=10.560gc=0.704factor=1.827zXZִF! 2]ŗXf1-q恈Cl68V< }~ ]شGVP: 57b18m/]n9XMIYi:#%`c@vM(v^:~DACCkff L= Uڐ-#=Į#G=M;05"H3=L4"Bҧ6ڗ?FVCaRs# y_KVROrރ;[(#qTKOxu+f' {9#ói@k!*f)9T<%hf1ŷL`$kYj S &zgYZ7zXZִF! n]ŗXiɟ1GBSp26llȄ)sSd#a$^Rf;Z&  CRLˮvN2:'jһW4CH<]㪲4u|-dж^1SnnSQt9:dwmbLla\ısW^uT!u еP[ /I+ɔrk"s &~kJr9(+Cb@ gJR"4dʟ7 D>O72?C󽛱u*3bT:' [ޙ9,{˰Na.ғT{8ARIw,Lk*@DY~%B1 y||Ā*BLhV{ƭJ%df>u yDц&8pZ|moX1)şo"r/j**z4ԙ NE`j0W_@AN* JqkDk㝎V 6g51KofJ\bڣH_9?(:̙NۯzTHQQDiœ1zrZ0 ng0^J@ %-*& 0#0B|jcHFlGܽ,zYaf/G?wz鵂?Wط'TYn*!'1\hPcBȔ,J0wnݛT\îǁ)FyPWRDXl!dLScuq-ߖؘ2cKLԞv;.6b^]<Wrz.ٔMw%ue ’Wbg>}Ep, 02VK}ewȻ+{4𺱔X^Wd/@s .,= \hKxE>ϸwFҥ3(~{nT`aHgYZdf1ce862e4d637b622beade20f853e75f3357db961532b7245075d4ea33812447b32dabbeba07b4a 3994299fe9a4f467e063bd0b975546ec5a4970e5 8f4ec66b19b03b756b2e7c2505a372d748ca1c2d 446e4c138e9489bdd96d64fd4977bf8916f20eb1 / HOL-Isar_Examples