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  4,, ]/ OpSets:threads=4elapsed=14.854cpu=48.344gc=0.956factor=3.257zXZִF! ]ŗXf[&Zyq1/F˹1`2W>K`J}9w ٨>W Z"m{AO+Cx/r]h;]:Ճ tPҲ*ܮG5k'T[{,E^;SH?bP[9Dݝ8RdNi < *Db[&}OJD>8Yʞ޹Da_Hmk7rWCnr* |lsx۱?ҨG^C3ޡ|"GlB8VoLId.Bo ]&2cq3'[ ꮷ_Z4ȅG,~e(}0]jL3DzԊ]roK?Av|vTQ id%D$ZvR!qq+9IvS,yA`p(,> IylU*Pلm׿}LH#zնgKk a6 Y. kt<ƎT8G2rG] |2)?&ȰۡPVO}`яjvOЅ wR p<M"hqέ%6=sUͩA?ԍFg#Ni.&%^sZTT́<`gڿ=W5MVl%bЩ.u5Ʊ 84V/ʤf[j| 0"/1r6ь\M-f SSr뱉%}5Ӎ\0uVbl=?B[ 7Bv2So1Id6 #twkTg=躘@f?\I/ ^t}|ҟL iS?R39稽KJ+ރ;|1k%!ךȤ= h|ë`568/TBV\/;j3B"wPJ*IX;eJ ˪.@H9Ki -CO Ibyp,[2zb \3Fٚs2wZ-O_,#[@^{X>۟pHSnHqlU #MI})Q~CVˑ=:O{F_l:_򫡿-XLxQ!f1{/Fgb[fdAct(puālq֚fH-+SœQexGRXؙ 3Cq[Fso7ɓL1g>~AGƷb,9J]H+M)Q *EFKI#z@_;N4䍌02'aWBNU'J}VQ@@Hw_A ʎC'p)AId;BQC 6S\GN- 5;Z {,(jt]җcI7jAoe qzc)$^Ԙ@du:kʺ?|s^ 6B őXU)7o@x+Q ,F&Զ]xS)Z艊)Ӿΰ+e'(ǥ&U- 5"L\?ޝcW5YNz֖ȔU6;]c;]#;?̛O02:Lψ%:{Yxۚ8Xw nBT"EM췇 \k5m)~آ}g;Fa6K1~|2@Btը"ͯZJ|1~z]`E X;zgYZ503f3174b708a23752e120ef98ac2bc4cf0b1e4b76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568   OpSets