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 {1 ,, ]% Stream_Fusion_Code:threads=2elapsed=18.796cpu=31.948gc=1.596factor=1.707zXZִF! 'XO]ŗXf1-/6vR[]`^O㍌GσCU,,#DFmTD("4{'}NyԘqm,4" u\)d%:.`;gKJ,bĈa6on7iHa;뻯|HJ>c J|BUSH& )AV`Z'4u>fW^:@_;HΟyU|B lALzʰ,'[^j|wWTFHĤ KWɐ f+]aϷ5BsZ)U?_#9(%>v =I/5]l5,Kr-6< wmA!⁌o}`_?<'AY`\=o|1OoSj}D;9g4;IvM I'ݢ`,2|VӇC!'? Ximmט@(LzW\w WSW)chlVPbQ7#ω .?))ۗ4n4g~zc>zp"N9 H(z.ES>g_ʹX7Yk:OP vd Hȫ ,(˕:$7nٚv2??ϟ3Fbh }isFNzXe0U5`o} Zw.ӮgԺ&]2gg'dz^vG^H~|I \͜Jtq6OE0*MH"Pڛu[Rml5"aYBZ#|@imW%RN]Wώvś' 1.v#sNgYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+!:9җJFBOx{tRɆw!LWc.nKVTF%x[4\DTPҷogx!q@ ͌*w]fB݇-'gYZ7zXZִF! j]ŗXi%;C+ 4>.vqn]UadvIZ p O].iA| ;[/8V〘7aW `w3* 8]kw+/W,JhjdS[r:'m &6p G:VO--sHSFj\M[hO&E '%8xCnvƓ̇ p z5'MB]i$۸e1"- 3-Q v^V?~K+ WFٮz'O2-$WtA8#RXuEX T-вBAkycAAͲ=oAujkK"N+%\s&!>TrVTr,C@)%wf٠ոFtM *\7w+3iLNyb:uϺTf{sCFFHt&U_{UY a"KDT0$O-;k 6k o/K6/Z0ݫP"pS&(0F HNӹO{ҞcNA=Y\1 >)dwj-$bȻU㥏;15Oih㴵j?^VPN)m? uXz`'wcHpyLb_)yMML.WOO"?DXǬTa( mDdlwFUϱ a)ةdZֹA>6p1@y t>V\;z6ԓŋi\R ;Ӭ7S?>g̚9%苊=I؊B.W mj+D8)6q}4as䞓kGЧߦrV,} 1] gYZ8a58b006ba39d2f331a35b6bcf2acb3ddca0c59fa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c 29066bbb6c0c7c2c679932f2b0481b82d7d2665c 2a6406e9098e57c11af7e3977dc4acc994e2129d 1 Stream_Fusion_Code