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 ff)\<\ 4]% Jordan_Hoelder:7zXZִF! h]ŗXf[&ɉOW !v_xld$\:WoΟd1ӞyĉmxQzJK͖nҳ;tf1)UFh#+1߯FѐM hIǛF{wGBctkL`]D&%n;ƖCJc '!aaRy*WΚzv*N-j?^ɒ~Xͫ2hR}SWd'rv-nꮹ<祟¡C'S#2њnּfr_y4o=¥GlH%?+4@2hߠ2 Jt 8zM6DN20w:~n*GW.r AM7=B 9;HoQL0^r7n\Fz %iCI8h7qۂI,Y'4T"$.f.h'ka0x+N3=t:| :q^̚`b !-0h$IUM݌9;ҤfK֏l} 2&gYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz}i"eCOtB݅ƌ2oXPO4{< y0>8L; KXI s<Uu4جY(xz^/e75:ͫ ve=%M/.YزUx>hnJ%8WQ8u`bo59q6 M:U7!z̝q>5R6g\/fv VKgYZ7zXZִF! i]ŗXi%>ghiΎ]Hdhwl:HX51!(@(܁Ý# Q1+Dحl:^9lGSq|ҍIr B yFnIF|dDԸ)R>BOҭ)¿|56`I⊮z~0|I0Xd"berH 5 q6P3>2s:/J!CɩuuKhtj"/F|cH!Ŧᥗhn@\wɈ}19`y~#;x(g"R-tPy=!\]G/z \:g{azرZqN+u)ԓ=&DPKaSOCbC+Zz|fA!0ϱYj[XabRlGfפ2#;Hd!`}t$L u!!a, N'RZjmE=,; \'jM(~]O p GcҋWG[RmoRZ枖#fyoԤ?PJƕ>s+G+u!x0a/.Uxe'}(S} a 8n2tzdGxE"4~ISwɍLF+ cRHKRN8oGr4@$DtKA 4 ˺C[ $x] ({jQ=o$g8K8y2;E8 ,Dwr{[4,iOщ",>o_?Sdval3EOgM=m]]5ʉHXţI FP?U.zZq/ʂ d#s5,PF2 GZ@~zJĈa= BP/[GE VFm$Z6"t:K]1ޱjkc R)?;I[vfSg`?DGbB=uW}p28rs:kWs?XTaԶ}>q5IdYVWg<.N;C)w/)l I%n 6Ƹ[|$b2Jt3 \s +ԍ|d-`'['ھ@9S?nZ*u7N.u5+JfnAJD*pp ̓kIwVC6/nݲ%ٳ86` (,z8q~ ˋgYZ7zXZִF! &T]ŗͷƷ͓ABlHQ{ XY/@%ND l<jޞ4R0o@OSt n},T - rnh&\ٿEbIU9}4\.?VtgL\2em% h:jJ&8ȥ zvP`>}L6JwKkhs>: #2"@"t7:WΕ |c騂-+],Pݓ0ž奶'ݿkv 4"]2؈6xgYZ6bc6b78c0b779f8a1046482d035067a4b5801e060779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 f8d9964663e20ec65b7acd393e357a95264709af d5cdf963dd52a489e7c52af8ae9d3fb3a83cd098 ) Jordan_Hoelder