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 u) 4T ] Error_Function:threads=2elapsed=19.042cpu=35.044gc=1.772factor=1.847zXZִF! R]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;cQT@ \F.j^7hR%?}(rE[K^06y(cܵXw|d@[{׈SqMN񯊿qZ_?й;dsx,SqQ$r%}e؄?bـ=E^R)VO[*,6x //+ɐqW 6tAWjg] ϒ=A!SM:rAkCѸzAA1TϬ[4Zsi"B/56\TvP0"7נ7}v_$]PECڼ*]YOf")(LI|F%gXMܳ[bBFq'a>E[`n&2ޱ[Oɛpn{L]PN57_ktI=4f[ 5[#egYZ7zXZִF! $]ŗXiɟc'od9m1 )py\n۬J 4o~Fb9O2̃[\xtsDS~hI(n@zWX<_y&z_pn&$zb6S#/GKGw ۳l' it L/gED'*,ejJ9 -w,T④\e'WqW谛Zh͓;+wpI3JѾ)6MΓfױgYZ7zXZִF! g]ŗXi%; 4ޞ XR܏H..0nSsdGvl],Hmܕ[,'qM}ykQvn)ɨS0^ FT/G0) ҒsdQrpT͵ <2vJ/ZSagC7KPu=\*fxCzmV`6igHΝV,aw `~ۀ ,#-X%,6>w=bQ^nݔYXP׿mъP Myy8BB&J+M^h츠IY#3 .LQ#NiL_O4Cj"8N%SP?CKbȌ~6=fcc3]1 "a` R{c[_,4i^vi&ok+F'o14 5Ŭ;i4 AbxTS9q+u$S8)F*vjS< j[)yjڛB \F4P.'31<^`%$!!"CFJpNm1yQzZPYS\VH5U)=){!畳<}=l;WM 380fYOϧb^^}G&5ŷ"8o6mM2-İ:r[^+6*"Y{QslXb)^T,cǙ}k@ \`C;ni <9sR S$f5[d.^/.J"0使R+kKF\LO|]*/Q%'Fp D,G[\ަ[IJ\|4!K j0 6^Y{{WFNȸ}T܅,3rxlM e{?3T32Ӟ5(ΙC ;ڥ=t`Q؅\ɍ/gvTisrc4cL?ww~ ӎڅiq.*FTuou& blSSH{a(Lu{Ș:G,o*5ݯFض LL^2 Oz~Kb5ް`ܐ:X{R&{qnkF HuRVT PgYZ10f1543867600f24e9fbc8d27905a2dbd194140e79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 50d7567ba5f079e933f9c40588fc7548716f71d9 ) Error_Function