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 j t ] ZF-UNITY:threads=6elapsed=4.901cpu=24.920gc=0.844factor=5.087zXZִF! >]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb7ׅAfãhqX6ye}]BVdո́|:"x Ds1P!^w>g)Z/AaKg2k[B4ZMjʜrnoschyEzbxdͪ%B=*:+GX~di0-87-2]>x\rVeiLďq$F~ j?\WEs;rP*ErU^ \Ɉ0Ƞ]!Z U2بAI!Wi*r-$JE.f),$*}Nn'Y&7tᨭt Nf44(53+PXvfȄub]tTjv/J2v=;H,x}~q -eO=w~* iٙ#S} [gwo'n9-oP$`ԆS ԱgYZ7zXZִF! hr]ŗXiɟ9 i:4V;}A<<ګMP7liq&\Dwi*RA/#=Ь.ir={^%JsytKw?TARGd } ʻą+>? {nla./ZJ櫉W j+ {*=ƒ$(%Cu>&)*IrRZ H5.elA/uXwr;2Ob&ZNVB`G|+ieFUQ6yxuխڤc[ӵT>r`wAvZA'ˊ˂,g~ PgYZ7zXZִF! ]ŗXi%96Dنq$)Bʁ"ͩlUҹs2Ji@W_Wq*>';LИFce= QVzw}P^Ow[4t_>SŋӣYېO $:pCJ9Kԓv8bu *g֨cXdOиǓ qMaãftI u3.[ k8 >f ICMIQq,_4yX0'VI4la5,и^} _9P>? )< sv7(;_UvTȵb-G Z /Ets>{==HM4'mIL" i03Koջ`CZI5CsJ/t߻k^JiYB7=Vq-|nBIBS5p?t)Qq39V 7@ |~%x JNxҾ