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 DD95 TtL ]%]DynamicArchitectures:threads=2elapsed=15.239cpu=27.704gc=0.944factor=1.827zXZִF! ]ŗXf[&L #.3!R&m'\2\kntJ;Ī u[QAG ƪS7 8|P4Nzw`쮱Fxou937jZsD5ʚ:1#t'%IoVo>j||v%x>-^S! [>K8㣁 hOMcL1ƨu#- h/aUoBTO@ecGxR^+@C55^Wj3FZ,$f |pg %;'+W07 $ .d= ؓ|6QgƜbbw'mW?=6SKFEh{?,+pF(c=0[ |膴@HG2PNj>eX.O7/JW}^aPh[K)%'̆gYZ7zXZִF! s]ŗXiɟ:340Ψ_իX+jެDu?.jT yF/~.; cw;xw5p/(7c ؂398췆@hc/QgYZ7zXZִF! `P]ŗXi%>gq(MǛw*jh5!ңmay[ay3pK6Q`\f>'$]0'NFkoONذhw% ӽuU~|} ]rqfb=43r(WܳE?H!wx!/B9 qaEcVa||/w -CjO3.-ǮɮH S =#<6Os(v݈mT|٨GO,{52} 4e=BWhW Fiy]4J`N9/xCedsziBJFChQb<\J]2]MXmYɡ#fTظ|iEX [_5Rҙ_4%Bw6,,Wku_Q."Ha@G0ԛ`;󧧅Z9]"ۑS!hjyBrG{``q/KM a!܏PyoU𚐐Nw8' _%6L7T!a@odjr*eθ2 ,Ӽ>>pĴ-fGӠiՠ>p7n.HK"9n%1W~~ )#@}آ_d; TآCVγǷNAb̢9##RuY1ߚ-{0  !-Km~r7-튱}eֺ1蕲r)l#NtƸȜ2s0OHHq#z;D&p㠳uh_?dvd~t[Q n3%esj!P?>)\f -=LŨxz* 7VgYZ42fb42dda755ad32924011a683fe6815a0bb80d40779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 f8d9964663e20ec65b7acd393e357a95264709af 617b18328a92b2aa3b800bf486f5ff9571dccabac726a5f838c24e49873b106ad72d3d6017322371 5 DynamicArchitectures