SQLite format 3 @ . B B h77otableisabelle_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 yTl ]]HOL-Auth:threads=6elapsed=60.136cpu=268.396gc=10.416factor=4.467zXZ ִF ! 8] ŗXf1-q恈tMm-7a 2B1:Gj͓{:#b~N'\*iSn4I#v5z \tԤ"M/"N&oڻf] (orMTE"J涰EԨRl܉P4L CB(I^{=uԎYrbxfT:걷36͋nM:[|7+tq<,\Sф.fo{dc&2bBhh$Z~]md_ߤP-3hlBEt1g%,4f r$+b]2)K$RN7 :[cĂ`_Z'ST#J0F |QKP\wB%|"TW:;.O@JCLKMx,%VȝBx$@q&UaQ8ԹքV21bT.ڥC2ިyDC)=1Is }e/5=s7'!J1SrY abS+n۞*8У] ~iPhIm/@ѡsq4rU3?ЈCXS+˲3p-2ۢjvYXǁKx~dOͬbN}`)AC ,률(R|U`ܕ^HA$W1! Fi++t$]Bc/'^G; RB lY~0/Gkp钮w|¹S\ aoYؽ́6w7:Y厒$t֭6|(A.+QY&5匈I=Z;^k-`= G歒}b5Ugc+qH5~֞HgsnH.JJYƝd2a]3^@3آ>8/wi| !< og2 Πahف>iཉ}+o3y!G@9{LWֆ"a55L[V A՝pBp^?$@lL26Q= vrf>rT՚0X0GI*!f/#s&VBt2<ScMŘ|onkwZMc&i^HP !Yj@Gfкc N.yQ1` )*g,xf7pC *QT!TӻYמۅA)P6{eSLī "ykcK݀(gcw|.yUfq^%|Zz&<|5tWY7G8NAs}o y~G~A֔O8-+b!EvxK⽔5 䋈 ,c4Li5Wp;6.?ۨ 7i%*p