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 f l ] ZF-UNITY:threads=6elapsed=5.873cpu=30.612gc=1.384factor=5.217zXZִF! {]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b "cB )d$`ԤNgI r>3u=X[p =@h(<>@=UC oB})4򕯿!MFĦ1T &+ b}p.PlGx f 4v<{ON%&LsƐ." T[]a 29Qj dwiSt[@Y+G? @-d]>p25RŚx1Br:v㜪v]l9Ƥ{nmʮ}!WcpHk;#L)IgYZ7zXZִF! hn]ŗXiɟ9 i:4V;}A<<ګMP7h !υuv }>fΙR^r/Ha5SfBe0$)Z|0S F%ovA0M\6wK3= <'gh# Z ?S?{6*qTIғ%|ߡԥ0Nt_m%B#NUP;mYc];;ݗ+fuc|f«G 8vX䷖؝k~ X)s {{X-[Q?|BjenWfXCrVG(Sє Q&g >gYZ7zXZִF! >]ŗXi%>m M6$_ڸĕΞKCZXMPGn yT>e ,,|$*oRw)(*D m4coW )~TH2_Л{wYם`SDzՆnOxrP<[J18K7Ӿ۶P '2>OGB}:%GD6p\p!aL3y"Y)ۡ4D[gT{0tTm'aYlxA ]X,s㭙b6.-&Pc`lmmR2$O;Wy/KLGU'a̐(.E^,'s%AT޵bkI@ |X'괁n<++`qih宣،ig%vX\|Oo7_2u"3G@Hx?L*7rf? )ZEQf Υmh@xIhcRs*-};NA`i4]'_NjM d*#-n7<@:u-9zȭS-M/%*f{q?+9C Q Y.z[;wkԓ)AH {6c%/tDPj|qpVZi6[9-IPf^zx1œ?q:wg'gYZ1ecf4d3252f1c74b68c64727f685c92546174acfae96c4661efb67fa55c859aee66272e43d21faf1 a2982641c18885b1646e6890137183fc81a83875 7af5ad2852c26fbc9f774d83b286fbf8ab83b444   ZF-UNITY