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 ]] / < ] POPLmark-deBruijn:threads=2elapsed=22.033cpu=41.760gc=2.512factor=1.907zXZִF! 9]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.9G.lV^eX,>>z5vcS_ ΘUIM9|י9ri|F\yzE`&[qo(#yx>n4bڐc|l_H f%epEpQk2L `Ё>Ft`Ap'pQⶶ=ƫ>ߊ4b^3hVPzVf7JKHCZ ZJa;+-[! 󱤭0,?4Owee)#N׎F%p?&] 7X.?v{nH3~3=Nq^0i6 PDO<^̨^C FHMfC45g_/9rNq Sǎ^G,]鯇%))FbΘQ>B==F^V 8m4 D7 [ics-NB1Z^M6/"WMk0C|UI<Ѫ,6&cgYZ7zXZִF! ]ŗXiɟT{F moEhuFw=:Y-:[[XKOOjt[o3 `W$߻#(#5\@6h8_to 1+63G=h @Gvi^1!+"`R-gYZ7zXZִF! {|]ŗXi%>gt~B?=OZSUB i E"z,&@Y`<ւ4^.?"lMf[N!YvfTZ# *$) vO]jM Nvy>rt\ 5l4@lQSԢ?\ϳștCvfgkٟbjqsTlvI CJ'Ц &|:#pL,~(82dž9s:L\LF\)Q E&5ҚR cN*bCȻx vP9GVGQ Avd|J",wkTknٻO?"DI幣D|9~Hs/X"?G5:à L~1YP;cJpʛUY雤[5a0z҈P~8XZT۸gn:y섷I78ߏx$z7e4jO% jD5r -%fԞѧ*`'"ȋ]N#˻yA NBh[L$ ep>f cW5tH81'_[ܴQۻA>{Q}JXHf9Q4Bb+ՑHp 6G\IouDFϡda~aْ&y=34N} j)V5WQ411x@|gѕ-< Ow-4E,>V5ݰ~#%e9cw#=[qNaV9rFD bʄ8\pW/Baյ ]V  .>'JpF]! e0!ȉ>O&Y9̗M6uQ%"/hT_‘IciHU4Y}K5 AGc}9N)$b_L1#dHo'iT