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 JJ3- l ] Lambda_Free_RPOs:threads=2elapsed=19.019cpu=33.292gc=1.420factor=1.757zXZִF! I]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓ<ënW%P ㈥f^Ъ(3u.FJ/Ap+I Uݯ&@7A4{.m݌{2mjIk]UL~#P~lHL}_q(4p>ݨěYl)W/Te8rd'DJx,Q 2s{vwۜqn UD߮Q\]Ӣ?+k Ld`m TD+G=Io^¼cu;mZWQ}l{յݭ$P/6: V|r*I3Q /\܌a#$yH:;Ϳ/ n=.  ރ@zaX`uq.C vY(m8Pd 8algq1uR"$!k5h?CK%]d5 N3!\=+5z'JKPiE!9*q(r_r} Ua+s˴o8lׅ֎pI_Zϕ_at:ӟB``#W:*yp>PgYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7"2+*]ScH$?nyePE:%W/{\i@) vnq3]jNQ4˦f8Fw@kHҊFnRS06¢q$u$S^?OqQ<uַ_zA$%QeXB3@;V+?ϼ^ ւJ;*kc Ƭ]1$8MF?gB 3H 6NwX|[x:#<:q Ai%I яߠ_Ta߯ks>z,ڃYy sET7 d68 wAe54kUJ3=H~$"f !EwZ,`YKbkmlpMZTo6be{^b&v_!|)L>'QX>…m@[[ȑaO_>ׁݺ>sчT@#ef~s`ˡvIwJǚJ.Jx#Q/K90[i1{[LɌq>l0kth%G8/v$ě;A* )uo{