SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 a $ L ] IOA:threads=6elapsed=7.664cpu=33.148gc=1.328factor=4.337zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K K3XӍvy^+:4hi\߷EmS4g<뜊@*jZD Ւ%ô1ם(6k(%N;7[pYISNUBGĐk,B'S>R D$Kz}lTυ+1+21W]/e-Mnf-dZbA I b,A \wNyA&s:3+oS?s/g$:Go<`ӓlkb m/Sk5r>t 8'B_R)lH9V40Ab{Y.; FJCҕ,󴐵j6K\K>oykaҢ ˰yV>Ecج0s[9!&uf(]۽Z^L?XDÿxN5~Lʛ0צ+Sa4i)֎0PSo«VgYZ7zXZִF! `]ŗXiɟdN'LvH۹)A,Kmxvbe5"4)lٕ2.L·;26rۡ4/Zy2]ԭm9k&YljCŝP*ԋOtfaD9ؖ`{9| xsi@͸; TE9vaHNx|#7GD"MաتwGp%dDzuהm5tPIPQƁxGmwoޥAl2K8?h)Z@aݜq`(EC(ٝi|O^t踺и-g'>""H#U6?O]I#~98ˈ!AoG7jSzh p6_ No5קY7R5T>߽=xS$=yQ{ZaAo^KExm\`tǡ~>7XTW@Az-%cFE:Xʝu3Re|v$&ۚm=?(IeR*OVϳ4 C^N߸zf jˑŒTkST_3摥5^AK[oc |_-bz܇KXH75^0Z1.nhaF/Eo>Fp[LHXD\z2k{Ǥ> L*]Diſs+,B:9Ȧ)H dwf?=|`6UdE**TcܯAQYDrTs \&a YFlqqmoHZifO*Ou%2" h} Xe\a-E1"!d} `@_fml_TdaFɟ/> '#DbB>ҷjx\zCV \=ké,[4 [z"rvf ᳻]cm u9 u˚)fGl=MagYZ8352b3548b78c4fd82a0bcb698f7d3f0277af49862dd5ef845605834f99fd219c6113e6e5d2ead3b e158806d250ceec2e5c99ef815333151f28fb293 8beeb8c7d31f19502c4964393b7c99b40b9022da  IOA