SQLite format 3@ .0:  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 " DL ]S Lp:threads=4elapsed=26.986cpu=83.576gc=1.384factor=3.107zXZִF! (\]ŗXf[&X'y`T=+ˡ-(uAVw4uC4EA tszTM!IK?d$3TN!'|&P'8rgo-5ފ1g?f+TR vi p`)1`*YAQ!ȓM|W-?@•Ѣ-DF`#+([i+AAg2H,QI#@]"Q. I~׫Ba`5bGMlo>a]  Lp  `9[/sv#Z 55^GH0ujcݽ&M;Q 30I7,Pm+U!5W˭v T,ݛwz 6H=0hDN:4LߊгMcMk%zXȫ{f0?[8eMB%Ýdudt*ԃadE09W\wȟ7kS7t923{Mhq ̻' N`y+Uf'I5tNf-~Ҁ 2}4piU٩U . -\i I|M :Hr8gA`;gPݱw7KaW//o's{7$K)vaȇz1q$0]*IjzWO; gYZ7zXZִF! ఇ ]ŗXi%GGfgk,͟ 쨁Hv2XxxC9W;͵3&֙?kBf&KaEGqMWO:3`h6eLU"=fӪK F|BQ;79^6H$i ( 2|#gwf5Clpϳ~<44БA6:d9!,+0)YX< tQ_HF_g26,? ?<PlmdOά?_QA\`m͎D?O {Mگp6 R/Z&c0|ƥ/g7?SMd'rgMp*dT[!f_Ds* r6|ø;s/eu'd%tRh%Lq!Ɲŏ#KR!,,kPJhak'URj Α P*3a 1ZUc=uaKhFhGIL8Gl[εr] ^5,MRb+G(8)ԩ@փLYG+b8n|^.o8)G mEݧfWJ}.B"Yr9q(3!O>qM1d>r+QV'yxhw(e H!5J.\S2,(`\@īU [ܢKzф4UHDE.ߩ8U8wsW dOn|ŭ/)0fFAp xR^bD1`b9(vwk n$%8|i)пIO3L&<l&8oqf[ :gҎט]7 u5Ausl9O#c)335V?ԩaó|J[~Vbr0٢HVPo L.A:1X+}K{TU:i("^P<{ 0QGióM73gďV8m^ImSlo=yEC,Tr'R'6ODŒ[Nԅ B3*C5 H-\Ȫþ-t#yz&km<[Ĝ4[xrM%(5#Folb@n^2ZOj4y_{]NL&o/>.PT̎>~+SgYZf2d09b039675d681fb83e7bdcaeb3548353fb53d1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 605abb464c62516833505a816fca1fe0cc006c6e 40e2fdf306a6f46f9f37690807c60251629825ad