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  Y?L ]]HOL-Computational_Algebra:threads=6elapsed=34.771cpu=123.364gc=7.456factor=3.557zXZִF! <3]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C`ͱ_*˃uwrTq^!#x&y$3*wk6;l`J"ApyNi$Yz:"Y,kfcuVwBD%&<% @X4֜ 3{ %~vWRiE\c~mv42 %l-.+ˢJuҩ3]@gx dosmJ$_#~FY6Ώ<@e@Xʓh^*Q/`4P?$ARS֥:_3 Tݘ`1n[27C)leIlIM 5C6:3BzVǐB\GJ. @w)dPUͨ܁/X 6Մ_ü+ī;zEd:6?p@pJ2(Vs9:d(LsJ0y)&B̥ObG،91 ?1 =j%,s3Y MJRgrk۩GYaЄ~yl{Y V,7. &q$=i2_Q),ibiVmda^DN^%h-pS%7\ֵ9 ^V&o{sQ!&7aOXd 3qYxE[Zk7UXc~_Z\&GufKE;-櫻x zAVJYF0wR+LQK&~l3( )XɍK!|nWy< t ;#,rfВD&9) i5 #JV.̓t>T m= FRmkȐng3bp^wsSfDYa xʮ;gYZ7zXZִF! ]ŗXiɟ1plQUi ׻|p\G r|(.^SO H!HhajT%0eȚ:l*\s*!'|E`=~~PyCcmSW[6ɔ3p <㬲PoW8&|E4հR JLF[]xpCc̔b\%iRRZՋ N|IθHd{" Nl8`%G^G܃W եށc^5 !Bެ+sfDj<2/ L?t%/vAA%F-e\#ͱ'r@)r MŨ67%S:}k{kA8۾ƤAp_{%Qsŋ&72Kt1]'W/p3EaL"~#Q평ͅGss13%1$kc{pEE!,׏)l2򘒬RK ^U856 M2jsZ rHڤZ;LJ:])D B 57qXS8Q=dkA^aj"2",>ۓh oR4r;M6C7ΝQа|'Gȏ~Hu#L'@&XH< ӠljԒˆNQkBuz;,}^0B$(-6 ,1V:Iz8-"{WjP%ϮyZ+"Su{[/? Q;ˆ'7R{תFKKq?ج;0Mf͎K"$ٷM$'tӜbKv -4ri KƑPsvz"$:bzXVH[ 4HdKhivWw2)gCWg'Yty^ =FUO sa,I͙7sH]|'=fM[;;^ʽZ/0Jbnc{!#r$(ǖ0D-np0`2?{OdkTiNxKOX?*ԇڕ0p{>>a?%Нblka6Tcr\#m?*n9/ކm0/H |I, G [7B 9C= OT Dw!Zt1)ťVynRa`E\z٠mLJs&M`I;=@GZɨw =kP8<%.2_QwLEIl8fbU:КWw/wU;SªpP*?,"V 15}1w-:Q#󸌫q 'עt=^!٫=_|>oba FQb up2$ö#aD=jvxpu4"EǭhS*e(69ߧJgj/8LN%޵2'Ɂmh/loZl2뷮 NcDn0/MTbx$s&1Zn&,/-r2)ƉK>O"53xU-t]6붼0(IfD(+2rGaje NW_p!m/Bа&8T?9z}I؜NAϑBq[AsknRHd&5[u<վѣh+~)VQ 9Pih[|T8I+Jg72]'X