SQLite format 3@ .  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 \\! tD ]/ TLA:threads=4elapsed=11.482cpu=39.804gc=1.080factor=3.477zXZִF! q]ŗXf[&y9WB]"-뺙௿&,_ z}?pQ:ZAĢ)y▽`ujP(( a]\z͚I7z_ s/ s }0H:C*0/46}>¶f7 -S2Wha F{T9\,;;&|8FXMv+skԛgLRH/"89|:ҲX'? ƗsAnk|;o_Kh?Jd>=p@Y w1iBO>cTNȋ1VedP@'zY* 'EeDwvc#ҲgYZ7zXZִF! ]ŗXiɟ&ݾʆ])03_F_]9 5K>6KO?Ti0O[t=AnOJdDgpmX Eq.EAb267:̦lzPi}$[d|IWO-56C".8ShY!yF^GQCHl7aoӀ,fX%`uRnkj(! 9}6L$ph:uh"vu-qeSשpA[3o[k^oQ PJ w~)8/(ûP/)U`(󛼁H˜ 3FzMJ8m "%}Ʒr]E7kO"9-'U Eg."/1Ÿ~ xToaZ1/)vU'(_W׉ 9Ҽ{-Aa8j+VDK0 /ɇ駽+/<; ƥMj|_M~@\a+37fLdȏً.k0-}8]Siv4j䚜x;9RSBդK_#g3";I_?\;uPYр;V&:ס$\ZsKT$MbA5&MA6kn84$'ҫX~ kyfD;TKPmk 9AM^ReN[ͥU`!G[hTN .C7wJlE`5?$V vgvloFkͨ[kaRcO| ܽ7gYZ36edc3c8cc4e096cc58935e186a13923c56be48cc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a  TLA