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 C' ,,T ] Stream-Fusion:threads=2elapsed=9.745cpu=12.336gc=0.468factor=1.277zXZִF!  ]ŗXf[&R g/ S!SQFQ&1{yZ G5Vh+e(aS J:s~tFް\x]Txz >Xij'wIz@k(9)e* ɰFag!5dyJ_ӑBMM]ߗ/tI?QCn쀀dS>Zwgl.`'Z^Az&YSM?}55gYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(v`h͖q>^6er3 '69prt3kďW뭳5g}$~i(NEPX#-{~$gYZ7zXZִF! @]ŗXi%>g[1`=eaG&M~]!,(8.`{KSS@Q0i sN&})R[ G@Q1ϒUtiATM& 8rpvڹ}߿maǚ Hsb6Kƣcbg|OXĈt~1dYCy ?tTf:*BJSQ?BcR^JpwDqbnA ,-%Ipܐl&jbB1G}k~m5NJ<y|?r ~ L btoZTWZ=+gW= UxPxIف+߷g˶m:u@qC1\"HU )P|UCDo+bk &L%-7 )E LTG/L G 8H2JV5‘^KR"VBEbH0ۛ1.RF:jG":OzI%CanvAXa_TOc{H!JGl;ƨZ/Ljr@ *W`8\k[QYgToeڝ s$HOPzSb윩o]D,aA GT9C8aկ1淑= (asB';$Fr ӑC P5dV~^N0!}7d _[q퓺&a +ےax}Io" wbbODK9:H3BRgn2HgOBWx'2!'>=г ]8%F4XZmԙc O7^b6t\ ^ -=؟_!/VX!Zr[faX]/-4G9S5^:~^Şx[?{X*=ȷ ogYZ9b0c2f73c98834afc02a5aef688a37d03b33c9c60779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 7220c8ce702dc58dd05974d008871083c8a1a841 ' Stream-Fusion