SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 jjQ D m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.649cpu=22.612gc=0.684factor=1.667zXZִF! ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R1X{6!CW5̚:vZVGTt #S:<ǼEb)W J 0X}=liwY,` ~t&Sً.H[zNIT\n8|Tֱk(fg:WK&}F^DuЕV%%g3a #I.˖N dp~Ru`^;W;{#[ je.9$2Lq3'Xg IuM@iO7\Kbp#^gYZ7zXZִF! H\]ŗXi%6yKڃ mzAsVПS!/{Y?3J(ޫ!ihva2{+etUP-W+cvRh8M5gpaL >eI[e[`Xiy㪫#Jʕ?dOqFRKbe_F!&KXPR̍D`IGT+}r:Hu^/e?6|T<\L PpUoE8p1FE.[iOqRt~ۮN g=Xb?p+ul&LN4C}?beͼZC5}=_+QXaojWëةG=R oN`PR|F} [H>ٖdVնDTNxO[aPP US &.}}ɂOlܾ" P$/fN( ,hmӊ4v8l}e"i+iu+G!鰦8#,V7vz՘{5;*m_Й[p\_y G[|@$+Ѝ5) {6#R `cvl}{vf^/0YSr<VOd<̬MӀБ*R?|J:6Bb(U#W:4SjE$J@pE y*{&f SoJA t,+.Ab/R`n9ߵm%oꂁ+XԷtO*%u$#@ _NO̲[ߩ# LEV z S]rBuʵwg>nĒ E&RA.|8e?mN0?ǿGkƾyRog^ NIیsS@8NU翛B<#a