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 0# \ ]/]HOL-Eisbach:threads=4elapsed=5.263cpu=18.236gc=0.612factor=3.477zXZִF! ]ŗXf1-) enȈA XR„8323v7` XBc(^ڥCQ=.Xb)϶DzAƟcXeH;B&cPv#xSwDTK3x0 fW—HGc!hQ\Ǩ}.cm1|ٍ~م!^9>v;<37Қt#Mg-wgYZ7zXZִF! ]ŗXiɟ1J2oeTʹ̰Ko->kq01㧉{炿T`Tv)Ko2MAyxevt>Ym"}Uw9W" Dwv,=G ] q2![VYg,njeb"8*EOSF;~$8Q4R%''}'8br HWZxWeJsgYZ7zXZִF! !:]ŗXi%G̉S:+(fCv3z;Y%hA8)غ{V#qQ6BOE"Nv@N%?1.6!SNwHn5X:D*k#|+sS. @^NIXTym kS& G="G%ĥa6%qXV9lFՌ;D(:ŵpRiM[C43F>cq}M *Z$e\݅e4{H"XPfHaˎ;f϶b{d@Fv .zmL~~zT^m)Ca&:R> t=obDZw?q'IFOv"= ]o-MBЫaQF䝥YH{=\X;\N׸^|3EW)m+eɔڱV ט%˹Ng4Ǭ VI',19lW|8>" ѫgNI%=!5Խ Z^pǝ qhw(3 ųM$_>M7:Ce<ɃEl}91s* EoZ'e\秹fThǹ[9=]m'㱼0;pOݻ;ؔ~( 'D%<>F04{q G RXuszpp Hbȟo *#rrs:)#zޙ/aFw4q&4z 'JZ sLEk4@چ3{>0XHݽ5\o LOVpM&]{%%K Dжc,_ר`$/yu֒]BѱgYZf8627781f16b4da7a5b87197c3569a9cbd5cf4ce78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc5982ee872a30bcf783adc2491426d02222246dae0c # HOL-Eisbach