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 /,L ]S HOL-Isar_Examples:threads=4elapsed=3.001cpu=9.296gc=0.336factor=3.107zXZִF!  ]ŗXf1-q恈Cl68V< }~ ]شGVP:иiET%zb/ %itFV%'F2t{Z\Ǩu3V55(nJ Ton|Z'_A\xj]5gkmޮʢYW.=wZH{|W@{Ve`q8VO0"OW1+u : b2ŰMc|gsI2` Mq۱gYZ7zXZִF! ]ŗXiɟ1GBSyB7PQ6f]qYږ{_EQRO wNXܒzP aZ"=ܞ@MFd-?ϔ)vz/;&6T#vu)0-{{5N00֨}>Bw[CdW3BϪG?N \Z15CE^znQ莅ȕKIHln4; .бT@?a\~$+ˑ__!!DjHRØC~(/[m<*jL=gYZ7zXZִF! &]ŗXi%L a ȪȵWDIzG$B|L,- 8B=@L-1 2X4۾q/h* zq8>*'*JuL[B?b ע*ܽxGdXj2k rfF9vk4۬Uo\0#e3VbFjflːȨJnsZގ9Il'Iׅ޿RY5" Ҟ4.~i`NiipF_'>3rbP/*Zc"Ogit'~N\EB#|$ZD{t7D5(fa/[e9b_'0ǒx 0̪BSuvxOiG i} WSIP .kی>`P UZۏ`K$LmHbQ+BZ,ys mlPx!X#}ہ;t%mYoi/{5kϣ`Rѕ_\JhÝ^2 Q+Y_ #wd^8j|6 h:g}H @