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 ` |4t ]S Pell:threads=4elapsed=13.152cpu=43.476gc=0.400factor=3.317zXZִF! M]ŗXf[&.y꿊x\?ՁFM8j7t*ġ-oɰ  %?] QWj z.%BNZzlxFn3ȱJU{Gei>K9%zRHIj޻)hKD v=f2Xa#[ nN^fD1]m?P,I*[a]DC( X侞6X}Z8IJtqD/OQ L#<*HHyËa:gYZ7zXZִF! dbt]ŗXi%B)rHRՙ8$֝Lv{ViUH AstbV!>j[XD>CHo X&x v)UWVGr(_Pjl dVD>cje轗\UM}2,.fp>(o]޿g~Yq[FlzP(D߳"L-#0tcmċH^AR2`'}ӎnu>GǽSm%dC1Oz/3wm& %dDT8F^E8+:4g{p F_=1$wh1ɥ3l⠵oEq c>o*FjcőqqE|f+(WH@'KY/ &@v~Z.@|neKZ@<V<5vjO S\C`qZI[1 m@(fwk7S #0-&T?Yіg/CGÅP[]颂GB~ aE@=F)gv> (닝#bjfNVʃK[7nrC wQRlB6J?l"h>4-rK?^i}JR\,MWČ#D?%w%39WllCRd{u/b٢EpqMkp7;!V8TSg% 1}5.ԕ,!3fjGVՌ#< I3 1*SuL;PO"+a&n+1~Hyd}D}UdaKgqiHH/h49pYʕVׅ Aٱ؅M8qҠ5[lKVh]$)'sFfVǟ%c+Kc̬zһ 5MħJʝ o I'#vPۋ14Ik/ KAc_$j4#!TexZ@p"1yUĠ