SQLite format 3@ . BBh77otableisabelle_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 BB; |t ]% RSAPSS:threads=2elapsed=21.150cpu=39.800gc=1.392factor=1.887zXZִF! ]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃ᩻ ި3d'cgCWeKgnd6rݾ1iJCz5lѶ˥/VI^.brT=!f :2z)W:Ķ ,#rA,HMo'r[PVZ;T^ù{( q(lX<%>+)Ns|0GַmIugnN`8 8I1K~WY͸ 2M;I'Mx%\_)s'S:>"WPD%“xbM{LwE h`Gkq_ X̟vrC Ǡ1I]_ )坺 \S)*qx6y%fg)r\ZvT>4o ~,(5l;ddzİcRhyh[#:ԗw?QTt='v0Ar-;$Baa#j/Û˱gYZ7zXZִF! 3]ŗXiɟG@~W/o&AMvn˅j5o-Ȝ2_50M@1'IIIhT3{yԃW'F0;n7RD*#Yc77H.Dry)x0qy@Ec}0XmG=)/%_Wi1Ox 1+"qMUOQxLR(,%~V>AM-m3b:YvgYZ7zXZִF! lM]ŗXi%9(OXp+ڹ2vl6X|<&õA{Q! [[g pC1kG_\5a㿷vU*yzjBI MWޛ)5Lڶ "fL/z*_'=#.#׶ Hh#gȒ#?Pp$0y[x9e~/cMnphsY7 ( IWM5{6DZ0lͽ^9mnqP8;e*L͒p [R.I2ȝ5.zqe{L8MJ OeV#n 3Bv0ti XqtWև5b4B澬2F_9Q47 /b0`0P#,\frŬsD /D$Yh<ah>{>9ZO^\X.p#]ӭT5ii:%R*xԜ7Q]ҋ=Z*LYIE UxGC:RY'opݝ {~_,1h^&g/AW)>4»wDR=VM]?f%4|S4-g|M߄Q[EIx٬+fr{N=R7 ],9.P2}Ռ`КRW:?ysbWP`KSwNa1 Q܈ v%v ,&5cZ!_q;(bHyc!@.Q vC*?:t/bKq0|FE̵rSCWTk^.(tG^SXpAAe45&5'lAꜣ:/FQCgaxh&0~Hwq]dW!YR9(AGkܷ5`bˍ7whmņF Uפ*yw#|gۧs.AVN~jƘFg=AOɨA} (Ly̡H~)#sTUkK`EO,4}V{.(eMVH7-a;Rh: B ?l]xJ{ &򘨱gYZ5b507af22e535498a9079c4576832beacae13cfc3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72 58a1d79a11e622615d10ad99cebd239721c5b867 40d26aa326177d50b516107c18f5ab13a32b541d   RSAPSS