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 F < , ]]IOA:threads=4elapsed=11.058cpu=36.700gc=1.252factor=3.327zXZִF! X]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KBeˌ W*6KV/zSgGh$tz\G"9ƻM{Ԉ:>[TtW];E^;72o|{@*ꕛ%(ZW# .֚w_wԝ-d:; 'ZK /R7l8Bb}?ެ`ynz7_pi^:Cw{,#F3?ȔmQ*0e2AM Sg]! o|6ZthY\. *q9U @? N,X1`, Kq/ns1Ai+7覩(=ˡS/Y$4o>Un_U(0ISVrAՀGY{ڳ^߆3m>ԘpTG49ht^-w򟼎8 +q҈e"E~(3 P4 {_h Ⓚ,)8XpS-6R= ,~f>suqrru/_:}L9lmk~$o>uzzx JݱgYZ7zXZִF! @]ŗXi%B'UuWJ$*p  ۼq(xﶿ_%vPhvdȀJH"M6BAwڶFwN/%^hm%<-Fcuqdn-pH0hzUY)`Y 4jVj8_Jyo=DN+,>kA=y_ Lx~Q3xɢ7;x %{z5t!JBH:Gnr$y+5T\)Bi试Ndѩס\%frd,h4} };- Ţ2"%lW=غẜÒ .N /!yU|Nͥ:6ALH; 4R9@<a}x Í&݈氮=Lxk`nU]6ŋ"ɢ=p.}Œh\~-CMcdB,N#lNr ZM u7I =)BVc ^UA$G_5EڅJq8̚P0.F+q O3ª)ӗق툉; =N̡; [ "/Ic[ ŜԼT*-ߴʫOH/:ufRhɋ.<9Q7ÕZʊBr aN"3tDIxWEϼxWno=`A.4Ed&2q=&ҘOs'Hc4L?WS<<(:gʺ88A׸{4)1S|qw!ڈTA8Ep?RcXkT-g_ ؍]_:hl QXaT3f$(Rhc!)k5lox*1v_ mꅿfKϋo=8 t&o%Hu9gj5gY<\IhE79M>7ܷTf6mam+ 8'@|jrŴ{btORur,WYS74D5H- fP^3$T's]_iH-^bÝZ;/euh"C<&R/P='!A!Ցʾg]d_9vmp@gjQ4򪾬.L퇥nj6:2e?pYtˉ!3 EABEy[ZbJ%$xڻs,8T]1{1yObKfoC.oymݧ- :l\2\I ~gYZ0624ee2712b8728b3e20e1ea672de59552b9b6b23853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 0d4ce8c77ff3d97b5819090ecf6b71d59442697f88fd3780d8887f1135b607138451449708c24a4b  IOA