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 N ,l ]]]ZF:threads=6elapsed=11.925cpu=36.580gc=2.028factor=3.077zXZִF! ]ŗXf1-) enȈA XR„~$oY&E=F$ʿQl]q?Sp:+&?{+D!A/I*uO0:Lh RI,dN+uw#5_SC:1W8 'Y@Uw k/Z\!Z TS]ŕ\7^rOe}[DɌC/Ə&|lDSX^僡$JAr"0$3:IqbL"RC6f7ngYZ7zXZִF! B]ŗXiɟ 1FE`穵gGBz~͵HDr#sN3i%zϷR֭yA5܈IP63)o5`zHS/AyU;?rSCGϣ̎c30oŜ0P %J26@$=FG ۚCںݷ@jZu);vpFVP.Z#,\6~_\t2ͅ[լp˼#]h@[u'Y/u 4xo:N*r)1Wgѣ"ۑ=ʹ;;:{ҠodC 6:} I +,Hg_gwcZycl ]'kM C@}0GNUʦ8{Vf8kXSk&a Rp/K^BJ9e T50󑫥%߂ܑfg>8V_o mD~I,$bW_{2dZ3_#x_`x+rEB&/T7_^c[>gYZ7zXZִF! ; ]ŗXi%92 |=]0k-9NfAG7=?{`47D\~̣ŘlΆ6#K$:-5fFsxl[A.lj^RJPzOE=Cȃ2 cw볝T諠}E2An}9h' WQR-Xd TR;f~"Dq9r{(&y99h NزR@6{PϫQFwyGyE.lRrp+3lmĂeJ̈tBkpO.ir|{sPKH8c=H:R$snRrjr< |Y5ٓ,[*QVחzegoZC+'QԡOj:ǿt=V+̺⚭z4Z=GPeL~=!,)sHn%bS`uyh +NVbi KTY^hd]ر. ` Лt32شgnq5Z˺k7g_|hm6ys"Bnc _@;/ޚvn9xm-:.V"WԜ'akS %atvfUA1|YDS7* Bِ qK)LiocjFrb* O[ǨyK7CւZVk@ƻO9L,ͩ>G۟kO^B2ʽÊ8o !?UQo)(c!0/WX"B="AGli͒Nui8|uUJ5Dy0Iʫr$. Vz#d/dRwa