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 **S1 Lt| ]5]Linear_Recurrences:threads=2elapsed=14.200cpu=27.776gc=1.700factor=1.967zXZִF! ]]ŗXf1-/6vRZ̭|GVu>e5!!OZch/ޟ~BO`ϺS29Bo1ťUi|GݹÏě_ v3y+\&j~օ%f$_d ɜ;d6"DiY%RS\>Hi1ivsW{93ؒ }Io.>) [[t<S~yRLK=)]ev(a~(0S誑jyrRΉ/}!\P̶ RHfhLt~`SUk.qx9&4SykSsN= ݚ^ME-@4C;oC\$P#CAZj'EHpW8I&Bb#Q8xyÕ_`w~ !1b~8h Vr~af("$ݤRoŪ/`{ rg%]\{yu ofw#0Y\2Y nT= !αgYZ7zXZִF!  3]ŗXiɟYW׿5-3x^jxͼʳ`O.cbœ|*;qpU \܃-d-=VeK=Vkˉw8檼e5BЩ9=*7zEEKc#j:lq5`R^oMs=Pptdڢ7kRֱáyV2Iav%"饉4m$ ѿ5nMGZЭci핍D>sgYZ7zXZִF! R7]ŗXi%[ƑLkc+0ۤʅ}}@rQ{WHS|N7A.GB) rԙ ek/$MM/sJBp]1hP?42ID4y#.6ȱW\?rn䉞[UdÈlIk|&FE^rXVZ2i53!fYZO:sN cXD60V66!khZ;in(G!+"fyH wjnEjI:]`~Tǧǩ)Ш[JIX'3jI~RZmt6I jrwk%l %Ӕj hbm>\19'",8GgXX cFDC#Mnh)Svy:2l_cSwKwZ$Ke[9FtZ,s*tGŇZR8ޞDڻџtT!a9{-]w1~BlYۊu 5:LTBPLކtL˓*;8Weg a@ijpAC%ۭ &Mf 0|w0* lƨ Rą~΃ْHqrL` e҉nmx6 {!L$1Cq{r!~ jlCTtiI2tǂ,{ ,d h犾KkcB8+el'$BlySW r$)/G:$U2W.7` mnX;gM] 8Xf:槝