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 c 4D ] pGCL:threads=4elapsed=20.297cpu=77.480gc=1.784factor=3.827zXZִF! ]ŗXf[&.Ir?.kL}%i\JŸ= h^_)M]['h +p5.3'Kz2zcZ*9XcSSnP?rӛjV7vQ}劾-Y5(s8>1|'wR/szb5皀>< 壕 #S󘰫/D@~W-g4NlJZ2${r@t4Ԏ_&.KF=R4AVQDzCtu.'(ZR7BgB [(Evfl)Nǡ>oe ߰^36,<1q:gF,YJDf7D:,V$UdSUvA'~4Q+,\V#h }p#|SgD-]uӑB/;B[-:  Z\G.5.}Lc 4>S_=_ yd`bV}g8_s./a2$ƴ:n8.<GE: OPq d ĈZF(}Ҿ`߰p \#bE!@txd$ [N9_Ygƅ*^W=V'tT"z^obu9ׄNsJO&&U'OKm 󽥇BpUNsIuFֳזwY\| gWM0iM4cN|{ , yb) >L=Tu_^K43 nf ^yҖ;6c.M@⹱gYZ7zXZִF! L]ŗXiɟ: e=o݆$f%9$`ΛS޼LͶlb>̄"}u#/AvQL[Cb. uQv>^%,*sMKT-_/<YoIښp!:u4[ ԱC'ReJFكfc +p`y9i8o  \80Xɢu]O =oڥ#dk{?? #50U#HkỲjZᨷ|!>M̻Ye!Pji?+j;x/Ma=4|&p^^fI7Re~ѐу ƟBGgYZ7zXZִF! ]ŗXi%B4Y7*_Ӑ* אy%l<$g/IitP2,DͲ[$yo* dEh@_fE_8wղ<гumk{ an5[P{DSɂ9lڨEu6. VI78Tsg{\=P3KE.QW@t3|TNcU{exR;\yɉ+E:xnU3"QJF57K'jO^}bYޗdNMZ` Fpg:l"?Ȉ"KaZҒ2lvHAUْAwi&16Q`upT=b-r]E`n'ȈXŲ`1aSrhs5JыH5Pzȯ*~IBCfV5 \Y`ع ]@iQG[s_f_nGFZfΪvldX ƥ7 9,ۜa"!tp+WC"n%q99zjB_C-j-md |㗸Kyoh:k,BY"<8~i Mݠy"_NhIUD"pMCMC S@U6~b @"3iFfL ȕ=QXKu5|xbzei"=+Iu]c]Z9ZH_DebBncE|1)ij|LjJK4ދ.Q* _u}]sbl>8R[W'Tj8gYZa0ed6b38f70156031a26e71cfb6dc72bbcb7b98c9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 84c1aece216a4f01e4307116ac00e5db8a9127d8  pGCL