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 j |d ]]]ZF:threads=6elapsed=12.498cpu=44.404gc=2.672factor=3.557zXZִF! h5]ŗXf1-) enȈA"XxBT/'`a^23UqU)gAZ yAEN,çM )Lu|Ǩ7ی VIL rd%WM"~Y;ۿ%$O.k9JX8K)j\ICFFs?mAC : +"6 L*~P)ZG 1>oRP.\Yu-}C~r{TK_2<@`)c֡ qѿ\5Ld͗@Q6D!e1jF]+\NPՆ>,r3 >-zb/OѮ4e0C:J`S'DΡRqQ 8X2  CX^,597Os~rz.qUgYZ7zXZִF! <]ŗXiɟ 1FE`穱 <ΔRfog0dB@^bG[ $7i"\n)5 dt[98Egً/oL:˜_H[ro7f8ATI:ƉB̮w{Ȗ)M9kU34K„tZ3t1."f5^>kK:-j&rxGBW{ ~> ߄HDHf ds- ,`TcjiFezR CMU"Vhm徤]jZzw.}DtW?8'ó6xNӟ9Aԏ&1>jc5hX9w-zeؚ%:xgKn@ۗF=lzwR{BOMTͮMJM)~8> g{]0c"qiyHÌfD~%;zFbҮ0`k6Y*̓TŃ鐠gM~,){{DaPE?>Ĉ}%/P BsX僧gYZ7zXZִF! mQX+Avǟ.]zGQ\k*Gٲ//6~b-qaU.؟ jycO˳kFBPH;ĊL⡄εAOt)KMkGb>]U&IBkh~ pfΤ jS6(GoSP/2ѣiBw1ﶟd}x=ە|T][7[nWoL#gr 3l~`Qe),$PZCsdrgFQaG lg& h3DK 9e_>l,'hGPZVsC С ]ijI>jS_SꜶ/ n|{*G1Z o8^|]e7kX㮜:La:Ƿ~[VtVnEl`&0܅}x@,D)Ӑ_Er ED;c;mMp-PR}'KF妏$s t"y^|cSvFbɖ X֓h4RC*[Ce|{H#DoN=ظc5$"zH \znȼzww!~J2ݩXz`$ -7dI" Ӕ6O"j?IT T=ɯڰ\GÙ߀VApBy!DN0BRLR->RZsXSf -Eg`Oi1½ݶجze $ S-(XzXܱK`rkB!,^ Ҫ,u3$/aGu\+w'G$N[0$@+GK2 QH`\rOSmIwz5k[fڻ䜴[-f$.ߥT" %pn_#fb8fG xѱgYZc5c113e51a7aa521410a1d78bfa819b8271239d2f84da1efeb09fd4a6dddd2573e5e78b0df151cfaffd5ee0445fcdeeaffc2878523790abef411fe96  ZF