SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 bb' $d$ ]/ TESL_Language:threads=4elapsed=23.928cpu=75.780gc=2.752factor=3.177zXZִF!  ]ŗXf[&x玻C+!X,#o dەKb ;&KXi/f_C7֔L8gC{l@Oݶ .=]}([5gߊA)Znp |jJuUS>t .&@P|A.)-*M&#;葚υyVuOSy{L8 N l0fb)k[fuɵ<6)6^Gc+Of*7Odx,%x&S;xSFfA; ͯkZ1ArBj|HX-WrJ]j5cU2_ lFpH2ND+gCPsN%# 7Idfrbjە.PV Ca"[1"q Ӆ - nw):+݌Lj2m% iv+ӂ;>7Whiu.Wod _ Fk 6 KoC+FKʀWbڸFl0U&{X7Sxa0Sw.dЫ!,VҸ&WE,w 6T 2Hȟ:,ٴPY3%ap͔,'E- D:=ފD1)(yfJwhVn@v@RT`S1tR) "2>r甃3!pe,,$\G|Ts[?Il iG{ᜂ tM UcD VQR> .Ň}BΩ*/ +)=௅r98MOX?8v?SQ5)椸xNtJx>0ⶀ )2RgN';b[{;mKLoSKH}AـVN+=ʹDCUSTᄂ +ֹI ˜8,< 2~:a݄uEy$z)MuayxEE+Kk!Jcp:hEz7l0yt,@h &N3 ) "6Y #9q\⒛8Z1% ZWX~j<QC @=.?0Z{$D53aI:/_"'ەǴ;j-+ Y4![b')8Ī> d a-&;:@o\1uXN6HR\Sxigz v=a(SQ@Iv˨Nɲp#+҇Ep}vӬT{3smY '\VjnϰOznƏY%cKvxKɍd%t ݐ G&+5/=D;#cbBiPY.m7o@T2| q& %\Y(*`{ X߽sWJl)/IJ\*tc ~Fq=hn%7)o^wZ,