SQLite format 3@ .0:  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 ?5 d$ ] Priority_Queue_Braun:threads=4elapsed=16.083cpu=34.316gc=0.288factor=2.137zXZִF! ]ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫vӕstz9OfPcEyVMAJ~U84#SUs~1ҧ.>kCz@^!2>>+DmLT"p~$n5 Z Xz%,'J@d>]e:uW:2m3dzjMb7Cct VLjӜ(TWMz`urڐtX'U 4vNxe81 0ePxmjGKgf g]=6)")M' FêF,É%PЛCNel|ۡ95[liDr,%$ieA?Q9`gYZ7zXZִF!  ]ŗXiɟ1]" M${np^PTܶemDb!م8#2|S l*2:lZ htj@=_ _$Ut!*Dm@>+p>1I"Cf Vh湱gYZ7zXZִF! l@]ŗXi%B(SyZ}S3г~\DR)F6Gy{_pz2 ށ^@/_vF3ʰ=WN[x [1oGKl:ai˛m4^󈹰 @G?~>+!;ʵoT~P-,Ņ_!#xɕ10!g, f7+\H3`s"鍎YBIp#ANwլ&-1|YG><1PdLc`M8Aܘ8!?"R\BH-TThl/'Q~^#m]%8q"/EбO&cƈNdG@O2yA\ 0\%+tBLge3AiMW0Xܞ!] ) ־\ S΋t4u[S( П m>jQQO\l Sڱ60zavd,D@vxqH-]'3:9p&'whL NA9kƐ*| ٘0\Aт8n>şWYI7ܓCa;Ng$ Yrpfmͺ"y]\[$ngQ3߮%waKʩ J`7/ o3;I׵t_Ǝ.'bbMms}CR.vg9}W{9I`&qٝ%`n)!C! yK|uÓr2Mr7IZݙCUoLׄwYzS LZ #$C]Żcq_5FV,"mA,wMXr. #6Ga PԧםyoD&\qu6Tn|pggzP΅$w lB'e:n*7NLޒ@(7N-Iʁ+^E8w="kQ`8}\v;`YqZzs3;)$JVvok߇kG7ebmI##Ih'~gRqu x&Ce9ɢU`T$2aLC1 |FtP?ʮxUY/ȫfEo zxoclg.nM(M/\vgjwnuaD%gFIZN Jqg7KKvJ]nڑ6^cջ} ȥ;x87 g-Ec FOnmj4p`U9Aɽ̾KZHֳX9luߒ1tP3Q>2 "מN_Nm?h `0Å: E(GA慌a.}+ԥ $V؁$u8N⌛2mm\ @oTfCFk^c{iU+|ؤ?T91z} -leU