SQLite format 3@ .0:  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 g) 4 ]/ BNF_Operations:threads=4elapsed=9.425cpu=33.200gc=2.920factor=3.527zXZִF! ]ŗXf[&ZC\&XNt:&9x8>*ouʼle?ǽlm.PR;i*w$ \REQY_-ϒH=A @mQ"UyTj&IdG46] BeaF]h2&o%A kš\G%tGlzMGbKk IkYqW+ ȴākP(4|2 W6MDЪVJ3}EH [T\~&MjX{2:%\6-إkCJ<`4-!uu$=X?2: qea'dg;Fҹej ƠD8E{hc$o=A .D1NE 6]]$t}\ CCEX_hϬgYZ7zXZִF! P]ŗXiɟ1˦r*έ=F)$ХHjءNka2ѡ4EHez}!_Bw~GEJT^^8<7-"ˢdey PVѸ>eduk&Fzb xc,d⏽I^qͅM @nVafKgYZ7zXZִF! V]ŗXi%ES3"1 PD ~c-JDaAqsWj2:?+k-}vn|T @^ )wMՅ1}ժSҨe>t61-AE.V͑ m­ Yjj,X(_N"[|Gz ;hj-xNӅp>eD6{B"1 ArZ1cbHlltԯtf3j]`qi8VF&ZmJ5ߑ]%dB^y"ƽ5jE7Fï7.N[ȇ?tV@4 VOGon#}̚@%[V49ĭdܬ<{< [ژdKpu73< \uj"lVu$/~4C u`\M .!`M_Rj#s cpN=0_xqѾ:w _=R.' ЧԪIhN!j#4,DzF %AP q4tَѸx|һZTzis;.7ъ N00ճ!`ZGF4 |yύT%󵢁S')/WTtMD ^%c6Jma)ۓE/&'Ȭ;2.)n) ñ^R #Ai]}6QB?o{&+%"=m!GOӮ?KYl$6qyrt<+QÊVQ>WT۩$~1\ C^imjF2Y,׊ˌ;"s+A[;;\,r;N6cb/8'LT ajװ^/;C2'=U~嘠J׬9?B5 3"1vzAo"T\6BuW1m[A ?@<0p_fN&< d1}t#cZX",Շ˩k4飀ziz?cR?P-7HHZ(hYxPqƮ«pts` d\U  WY-)4E+{ N&!.D68>5ӌBrzFL~(q: e>0y7s έgYZcf713097801054d922f6c6164f94136d6c2e0fb576b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 ) BNF_Operations