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 [)t4  ]/ FunWithTilings:threads=4elapsed=15.093cpu=43.824gc=0.3287zXZִF! m ]ŗXiɟH)0%oΙӏ"9G@a\w/P''ڤ4˥k`2lg[}:o+\9ޕmQ𡍝M߰{8 pyYbom6.c!$c1do4bW9I%1 ) FunWithTilings  HC7Քse6hN=2^P  {=U osVگ ;f$L=`/H3:PsrmHhEăw}(Be]. pӔ4* nbBW2`[ڷL,N&m3Tk 5҈V: -IvB2wGQt̆ rE4UjzE*F1:' 튴ɘ!V$Oᖋ׷ e9VH"OS&`jM.>J8 М[k0Aڢ.'~@0Ob9ߊ{ $]M\͋V}_&MeѕtdEEi'~L@kr'IoC3DRDTi/MdķҭpEF|:?lg=olVT{0-0tZYRcDhpZ7B#^:sXxI(%Wz+6WL8!d=I K9ߧwZS"97_f{2?!EGf<+E!9TޢT½43W(/)&l|+6ҦbMb/6X>HY%tu%1-faZ.c¤^ER2yNvL8BY6eJrT9UԬ$.]i$Dv N׬h3:6P=|Mi9OyQwlP02 X$*!嶄?QSEо֩N51*Ux2@܇J0U[)O2Wh?S OI T_YC Ha>K=VR݃I W~۹m?|K%;AV_}aJ ӄbwFEñ\,K ؛lOoǟ$3Fnnm[''>E]ߎn(ɰ&Tx}IjDFv<7{@+ZIv7Tۖ 3ţU&MŵG5b`;'M"҈&_Nv`tA?X,#vx$[-`*IquǝS x=w ŌAgAa7z0Z x!<ќ⾉2PVꭰ4)]\@Ֆ4mQ]*RͣM?Cp1j# qjOKhZ6D/, +[DWuX2sAwƂkL"äUM3<%Mn*bZ@Oiq JHҗ s#V%d0yOb02Em8\_yl }rĎ+QV9()g0)UĩT +V޵SI\87 U*b_EUKܭnU[(h~5I^qѓ"=>o!7Kx |ΞzTM>YV=Ťj߉xk{RJo5=3Ng>Bq·^o .DP[BskU1HHDÛ wzo뎈+f:SJ끇 5Y/{׍=`$};('G3Q9RsswVfC&JT("Ҍb4^ZmP)UltMn|8N!YeJDA=+?>Ry09c";)\[nMANqM J?*T]S'y,4Ֆ,awS) xWRn<+f >aVrrFZ(`N&aݦ졆D&AW92e,5d)d\z*ŨI|e,wQcw邎gOR qR>o\|Zx[rD<-[E- #gYZ7zXZִF! JD]ŗXiɟUXvjV*~ ^kmoy`'t+!P*$2|\/|lp4Y`KFu}YZ7zXZִF! Y\]ŗXi%L&rr[Qu- @qY b[߫yV+?-Vq\E.|?zjq L;3{Š]"t]UFpOO8`9E˔^0h]5lX$?ilhphhÂWxsgzr+: $4иs(f|\ylC'(G7~.i#°5ہ"Hd2tH!|jHr5 iSCDzj9C-IqRj^S|->l Vѓ6ߧ;bfүdXf= +VRmx.L8,W- Fs*`CH>j } ÃLh̻[FШ&Eꛠξe}sVy^a$  VesN,E##7Qɯ,G w*SAdV;]y\ajz =A5=0{wL qqMR&E\~O!z8ʅ#o-ӮNYp6(4wDPPJ)L% XY)D~{!1  C#ڵR.9w\8Oۦl@j߾ٜjŠ@JN ٽ,I<ߜP~ݦX:DF}qϘr>4ug-|=zBm:= HףІбT5KR {uvr)(Unu' n/H%Xl+oHFY6:EeީAޯn%D V,o3WvNDuTp\JrY"nniW5W@K2iTr~ YF_̫sWۭ zy TJwErꔸdЙՎ*9p~F]5jWY{Ngxm$s)b&[{y'蟰=!pPj*I^fWTL.W(8oSa WA2^ iczے?L?cM`