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 //N lT\ ]/ Heard_Of:threads=8elapsed=12.501cpu=72.302gc=2.736factor=5.787zXZִF! "I/]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF؊!pڎPl' n2ߤ2 FZ*tm.؁FA#TY0UFj\Md,^B`[m*=]}RLǩxCJ{'ø%95TE_djM^v1ӈXх̢yQ21e~y) a3dln-L`?\/kzS6xy\Zg& x1" 倜I~95n@1Y4A aߐlTf.Zp:U+o _{x6A3k"wHgxGFYY"س@77[@v[ Gj՛>5KU> 6I ѣmO>x<4l~? SGo=PQzW Ȭ2׉&ߟl,N9Ӭf^}ĕ~3 wAJ0T;HdOPVIy|13p} ͗_cXn kBGVHL}(L5{3cunl<$fB뤑; (i0HlFb3pMq}5 Gf*\vEkE&ZPrQ!Ls]C#|h53KY\"fK;27/՞DZigYZ7zXZִF! ]ŗXiɟ T50d.~En.yWM͓BOyFfn5zQ~ & mU,"CG6. P^$өއrL {+]?wob#d#}GEqaXYeQZG17:8m]>Bub:8 "CoX5GLV:;q.၍3avU}+Ќ>{4b~ KPseT*,I)m~WRy 9g ^Щ:o9U3Azu BQ8`y}ҞDvnI3߆䀹͐]1$nTps{Is7;Fzߋo` ե!o +o H{gYZ7zXZִF! Zf]ŗXi%>t{UmY@fl-@@r uU}wliNJp-uWx6uV(tآzik<0Q~.XfkGԎ˵o2^S R#тHj2,@B%~` Hpԯ2. Y je"JQ.{MĈcI72.c!Ls~wv~9n_L0<`ZW'b 5I#820eA [h_L j9 0GNדƣan0bG<y)2{%<|jir{_u<Ԗ=GƯ s+q|od$Qf:š g/rq҅XN-] .vvD!Oj8yҽvbTe"vD8&:};44"gP'ϸ'y9n[$QW\Űl H$Ɓ>e`Cah58Uaٸ ƌ ~r2D60#ɀX8@; eyܜ*ANi6plݦM$ 0w_K1si˄e`R ˵gYZ5aa502c70341fe604558bd8bdd6a54894ecc25ddc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b   Heard_Of