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 YY$/ TDL ] POPLmark-deBruijn:threads=2elapsed=23.279cpu=41.548gc=2.208factor=1.787zXZִF! a]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4L,'*Հj'XLH"rq孹5yceZbgژg| +3=!o6L*1ZZ(MN^䁡vE"6۝\!O6~^J+?Y KgL"A ԋm-a1ܪ vDMX$sV]%Y"^9.E `dE =rZq8Yw*A o>iJ;P "1zLDSqbc( | \DZd61wreKXYT=Ŗr62z7o`|٬>6mbF)@7evh(o{5ؾD;p$Jhvm+uH!/EOi&h =2ʝ\vtskBs>ZmrΏ3T=in & 9%ݬLLZod(Sэ㭖`j-l|{T 2Uyy'CJa=@(?3T~`S/-_/tk=I grgYZ7zXZִF! ]ŗXi%W~Ķ SfHv\Z\C=9$PZ ̯y!{Hb5.y|}h &"[Qmɩ&';3>]$liH\(L̑BppqW ,tyUyM-lĿq9pmcnG<**ĎZ|3C,Eq#Z᥋Y)$~%ѧ:q] ,n"_kRDэCŘSf1+[8A5ۛ0[/ s7_s389R~:*g[b`DK&ܹ]!I`)ii7]oҬ= 1ֿ&BC#ˆzTЀ,+b-'ܝxvjjfHP ZOa\ 10tͪ/{GaH+eg /sTf\s)o&~Ò#Yyp"1p{j[޶=(Ph[S H/OX`jqIQq͊˽JNI|"οZ̞W7Ny#qʁ*I!nʂmH1*L5:1?N~vC}8qNKG_)>oX*'WB6!ئnbWpQz(:+8N}u*vt4dzhpV >}ar Cq+ABObs1 pyԤ:\6ⲩ=~NA=ƯE%~cWDnӊ=ЮB 49l#W<~dK0uxê0>ѦGUnDt:6 `QsH[~rLl )rFB95DžH[!f=nB*|D"r5uzDyNyY; T<e ܼxBuCT%Y&ynex({rb'^Yg9lFalײ)8I:n+eh'DA.=_r!A{ixiсSh}pflߵ# YO$i6 k B5 Rj{z|CZPqUcnq% xv_(/i0hؤ0 ]w=ćt /~HZ<9m"/UkrX*k5ؓ҆ 'رgYZe8e28a668b667c38189661608a74592ae642b26dd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb / POPLmark-deBruijn