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 VV'# , ]% Random_BSTs:threads=2elapsed=7.278cpu=11.012gc=0.700factor=1.517zXZִF! zN]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxTA{V%^zvRxs!JoqZ0FRU^`&R(Dġ0qmbbHY+ B4k~D$~5?#So&w\E^XyW(WKZ>?|'<`jZJV19uma)k&@pmmG/s+#Wjd*42m|Yt3yɊ_R5|aUgYZ7zXZִF! 6]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻LhmSA_xs0jgnWl^|״Kt^0\[]pѤ{݄L{wy̤W0'-YYv.N K?QD] }⩨W+%_@ݯ|b-@4AJIgYZ7zXZִF! 2O}]ŗXi%>g ָv\Db ;qNRwuT%&yEoh\cd%:l1teݹ7ֆMT #"PYz?`}vK߈| b1 UJHd;({ b۰8 TEMMk 4O;2X ^砫 QM2LuQK4$u|k_%>B͗[n_V,Y`z)8ꐗT\]*(UdC"^*Eɭ :E-xR '4fWXy֌h2k~DݵJGo-6v ע]НǢXaԿ"& о^?ZMZMe GΟ[: tX^zQ ]i/WWi }Dђ1EW'4\"?"d}y5lhdp)b+b&wuƘ&ʝ/),v77N~7qð/,\R;͚հ~˕Xg >FA,q'=`jk'_S'E2w.8Jo<1٥:j7sA* WHoC[B;9w Yy~ Wڐp)Gum8 /-j#X-H2̉tGfC]E~ʻS9nrP1ҽ "}L8xCkcy~}$"139e Ullɴ?,RS6=U>OM3.ŒV CGnIx|z|1{OCVb:U Ad#"gYZ4d87accd40aa06318f3685d1dde1b985db5a48af0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f f046ef9a589d206031d12698d33d4ab88465db77 852d296003c04e671a83d70a8dd68d2c8ee31ee3 a59816d3f78195f0045d23ec6a721d91e391773e # Random_BSTs