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 77F1 d  ]S]Nat-Interval-Logic:threads=4elapsed=24.068cpu=65.756gc=1.444factor=2.737zXZִF! .<]ŗXf[&xY0C1wJ FZU%p•kfa3(e8X#v:, %"RTq'f9'Jq bV0A%u{inHpfyZ4@KqWLy=#2Һ>x?&Wv CiWp^C%g,׽kk7M2uH2*O}'kls"UJ y*ŢYSA E[mC30 v˻M;B[8d !訜/$|۶NyiLm[x;kd9ElpRRqӘ:a?Q%,8޻Z >}WL7~@ɟXTjUź|ĠRvD xEQ+oxdt"`1]<U13VY'D0{u^6^a=AleQ8b1$sI9-]~'~YXh6*QS8s9 W.jvF^M"Yб⠘?9->j ~X8_y$oU)ivAML GjB4Iy^4gNf"cꗺ(7@KSqE SVYrm+cE~5'Pc[h˱K8M[pX@-,1# #DMFn{9SX]{ Ba[WyM+FXV%,hMGtwu;_Qk]2s;WzW]LKG./ӻNtLܨf{ȿmmxEDl/^rIܶXBH#Egbm\YgYZ7zXZִF!  ~]ŗXiɟĊ:4OHsS9?2N&JOQ5cT8g?2*b!#\yN9m gwޒlv:)(?9.SY͈Ir^?&Cү7!'>%dCgYZ7zXZִF! ]ŗXi%L 06h^Ql)ڜqZլ&ڿג sOY8?c?VܜP@8lNRlKBv+kBc.ETʗg!^KvLGj˪=1k'dl1 \ \W.^n j7iw@mՀ/]ykyr|doIbEͧǂV8uJ;AOͱjX4XnMę[8>3cBxJ 7׌zzAG,_\g~p= 2<4Pra(ͧ v5MXsEw(5M%E\ANj#E>QXgSѯ-R`"C{~C1̂ezO=UCQNYKb ;ձg]_(+בV>&*4 3Q{+tLzl2bSmL.ƴP*0 ->jpϰF].={^N8z %\{kf=5UH" Hz(\AV`.vmC^4!oyFEϧK;#tb\0^^X;:r"ڈ_z- ^C7au53bC blk6!~!z)j0#_\{ KOG֢< ݖ%BM(%A;\nRbէ- %!z^-y%oUL<) 좙䠇Nz Pn\M4'a #¿6.]l9]b﫚en+ԉq‰DhDYыK:VH(ľl ;qu?ҹ /f5J%i?.B+Znp)f+ !m/J+E$FJ{s8ːфԕ at 3iK9`W-9BxJui %~AVjVGI.<ovM&z<<«3z0Ϻ_OQKQV#q@ ch^0+`v`٪T˗S1]׷ȓn+s~+S/LwP_%g 핽w>(dnZ\ގd{7LVF`bW:4/;_"f`+CXHqi9!Eu6w J6/lYB^HT"3z^crl@#Ir][K9B [HE]Tݵy^sbQg†'ӂ^hlʚw5ՃYzn!Qwk":g6Sc H!x GSf@ꦌה/4ۤUIyx-7 p?;<0aLgͰOE>2 .&+yߓ!:Nq9S D_5Svvne,btl4Pb+B`T~xCt"sIc;'O!9Jgb?-l7N=7kkKg6Pc`'Mes nY_'^"5U6P,~U*)u;pΰl&y$BgfGQ{ ITWԋw#5 (y+Plfr |/Ҳݍ KAKsv#8hHw"kˈf^)Eڸы6h=fՕC$4nJgǾѻPwVJS+wgb^w`&>, \48pfg='Yt8q`kYj]٤ u窅Z[=lnd{3'ᲓSo8uOدula3`^cJF_dg9VX0QhB xô wiІ{] ~,QNv.F8 :..IsTr(`iq]]9^^Oӡ;  ޞDRrXeA?a9k1/XN.AkՠvxG