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 y 4$ ]w]Routing:threads=2elapsed=16.161cpu=29.040gc=1.184factor=1.807zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V"C:OlR&Z @=#o{h{qpϹ*?Du#;3!jc]cqQViXpmdkv x7;P>`rH n؁f9Ǻqe0Kj2:KϜ=ɭd` _[QI4,=()XxU_p/!F݋9R( UAm?zM);Z+,K^l4FU\ǐXc~?`#+x A{,ς\,v~t ~)st%}s/=Ų%DS}G}j"K҈iH>Q B+;>e"tHX ,1\09 P:4q飗BgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLph Ȉ򎧸-G GLYkA.s5$M,C8«T є2Y~vg!b)M*!]8}r3T0Z Al1d/7gsJv?p{{Z'+7gYZ7zXZִF! [<]ŗXi%;3׼ߞ  8vղrr2G o{eW՚EN_7u! 5a_y}LYǷؼ#Fz[Y[m{t#kn:ʛ.Y(;MV)?#b{0aS%%^ }X]l+37sտ]B= Ԕ.x&18K1k+0bv/p֫ZwјX3vOM¯8/zgH"| 80ZW /Tqc t]}mP96~?1fEȾ4&`rM9/Z6Mg~e+_7b#dg\6?ĺS}!XQ/Bƽd!аSA IT]$h.F18S*>?} _4p&ٽ VbNZAhxFFdBd:s퉇֕qDP6榟{t bԩHm{2F_ޅe{XS?mG(ɃxGUpf# j}ns]Vܮͣ\f[3$h j U ub3 ] -JnR5c!hU 39ewאBT{5GeQ=Ǻgħ