SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  # $ D ]]HOL-Nominal:threads=6elapsed=6.572cpu=15.044gc=0.996factor=2.297zXZִF! 3 ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ3oTTZBtglxKO SM XEGjv4"FӰ.p\L)]1{vH DXj`_x??Mjw `3+m3 ;j{"9E/V қ+wa_]竰¨uD ᭳-yr?- !wz UgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ P EN1JgHjj0x K"yS`I'{J}YZ7zXZִF! &]ŗXi%J s[dyRl;tuR0Z.u/qt#|s V5:1=aL8VbP-̲$q&Z`cd?e޳@oPi퓑lqNJE:myգUP-vI݇ _^Ah;Kf\ۍĠrqXR} "ʸ_Jw].Ȓ.]: YƐ٣?Mв/@qimR,攇-(g>Ŏ\g3å9e) ""ʋQ4y?yuA^TA4?nlr?nXdӞFt&F23Cj.BɥjbI莠 O~+ tՒh cJ^Pӂ9d8K#\!!,?4$;ckOw̶Sx0T-4o?6F 166lrĶ,;F uy39 0-J©'Iz ;D6IA%|d 2/*x$( [(ou1C;wFKqCN\2f[;96s}I脟{~놅Bϸ J=QvE7,c?chEGfLNDg7p5Y4HO-yɑkV XbQ[)|*ɳY?0?Rp'ғfdȍSҵʾ .R&k)Nw@)m(ފIb@;.lKwc6C {DڱxAvDc;[隱JXKXPe Krmƶѝ̍4[E>EU:З\#>_Ph&8gΩ'`X&ɚKܭYŢHάmneI- dgbK*MNgYZ3ff08bab4526093f2d417e908767b08cfdf1221cf7c715a80dfc5d6a73b803bb3fc9916dd402c7cc 92fad740fd10300db52a7965165ba931d80e398a be5b7e3ff44fde8fecbd5ed834addd7d17bbd25a811fb28e2f989b3c006a8576d957853fada10224 # HOL-Nominal