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 pp  |T ] IOA:threads=6elapsed=7.450cpu=32.436gc=1.644factor=4.357zXZִF! Y]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q)dx;״gSedYC q} s?ʖ5ֳz +]mHNMѫvq"3|)OVX KID.N;xh*~k`Bˆ,D|A f|a8,A/[-ރVCkK:yӟ/ }tqF cYDh?8 @O{d7dV|tdlWfl-wT/qm,Q}@t&}~l`?8g_owH!{ÝP)Gu|Y^3F,9cly{mԛY=gg@H "W_X*`~upSl̅Pl} ^2Ntw:=F[HgYZ7zXZִF! `y]ŗXiɟdN'LvH۹C<#t:ej jUA[2=\%<H<A6|񣱲ڝ:f7PA|aGQy /\ J@{J?yMX'Fy7|Raȕ<)i;lX2ZI| ;bP.݁u"`0@G4c!UI6%tlXEV7Y)vM& +eH&Z݇N%T G%b^OcCoDO^#ֵ @{^?GAѩpq 3ȳ"&k-}m^5)"W'5 "^ך{~_~t m}J?;_ ,kH!"*5J͂[T pmSw?D{s) LN4h"G}08ך#H*y@6f̻ދ+T@tc^ \AttKYᢐ\'uuw:jLNihu t3]jmzU$(#"O+ 4ȱ0hi,|m3S_Saw & P fؕ *` EoWJW @G0Y;boNjUأQF5W$vJvɠ7#^FC"Ujr;~.VoF7OhI4bZv;RR60jq+>PխޖXjP0fw"[kBygد1!6z tMjev=G21=ϊryZ ҇foQ- )AZ]z&Aʹ̤ `UԪS=LHw;>3+.NO~8Y4ckEbj9BuNKP  ¿iKa@YOl3OK:kI MBZ6g&3IA0B#A%2 oMb\Ud |u@L{!+08v `ps.2i kB溴2$P6+/ʔRxS 8gYZ139953dbbf290a466543bf426083e6696b0fd4d6a8d2b2957cf6386ef71e6190a6c8f3ffdbb41229 d359bf5ca56e584aaaec05c2cf0421ec40e1dcd0 d91bf3d1d10e9d16b0a093942f417e03334fb448  IOA