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 & l| ] ZF-UNITY:threads=6elapsed=6.054cpu=31.936gc=1.392factor=5.287zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b B'Mqu3poטT>L=CM]uiqofr ]j*̣j%~+\Mzűgϗ~$z szG;R|k|Vk)(8)1V 6t~鲋\A-*6SGyA5H,45)2f2ɝՂg) RoL>_8roLQ FHp= 8󶱇F`в#CAqzo'Öm&vގ(!L!bEMFKc0/uVT%1IgYZ7zXZִF! ho]ŗXiɟ9 i:4V;}A<<ګMP7#\zu`)eo&rʡ`]: rbEGy6۾zU`V&#unc6L\5U]c[׀{mGȥo-&YK巕 *TtPd?^5<>N1R-QfV__ǭ&)R[[>ƒI~ڛ9" Yg#|6律oҭIA'u%#ɉ+Eyt p_Mx+! 3L5_v)u9{χ/d+h܈ 1ژHfNc;V;ЦZ5ѹ_׹2e.@K rbVgYZ7zXZִF! nv]ŗXi%>2 _:C >j"YN%ND(S2RYgDDŽl|#*Nun~s#",90Nr] /K,xcHk$?b˵ &L*Ula0~V7DLj;N;M"utGx-a$plSYZ* YX w1t{Il Cj-jW͑g2F3QΏ9ƿ^KVV% vD2ʝ!6Lc3Y_2%_{._NJGJ({)hm_1:ʪMx/lG':l3k7kc|{r7Xp(ܠ5&Uܘ+:>?n3lhNK- %-ЉmvM* k#_N,Ɵ^u7nO#vt_921g]NiVՆrxwPv?SDB߿ h͗y"8 v`808CuC^vG?I:KJYqJG qz X|y 9&o hXA'hM TEP;ȱP-^YU -/˪{յ9Gw`_c|ƧA.cGou%v$2 ;0eR=:?ʅ4NŨ3^jQW3?nGRҖ((^+/'˔$25ئ_yJsV%yJQ(z!WA WJ4n[5F2]0&jWMw"`>q&2gYZ4fd46c4a07bc2e19a6946dc04b98dae3a9cc659ce0c3be278ab23203661c3c6841cfab21927cd669 fb667a780fb85cb2a2b44cd1cfeca1f00527c66e b78f114f11cbce04a2b5e7fb51d779a4eb48e950   ZF-UNITY