SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  , ,I1 L T ] HOL-Imperative_HOL:threads=6elapsed=35.482cpu=80.908gc=2.748factor=2.287zXZִF! .]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFø%7#vӑ8›*ؿF=ب\Uf_ZEuvG|V nj"'y`ʥ-4:۲2YzP)Ks-,쯄r( hÜDJKP1?~JNeQ63)ݥ`̡@ռڗ]f$EHow&"靖20?Η)nCSޭ_-Ģї} 8#,Ne={ˉ LHNm%\y u̷^eoHș}t c_, W2+Wh+QiOs 8[F= HE =:Po I*.CjU< $׫xJ>XK&,uZ*⥶ ]Xe!_EV# |E7̸<(bgv<pI@R[G!:; yDD"e/ W aw7m5-G JwukҒ+˻n0i+3TJd%6[}3|^gx1-d{JGeOrt{L@"󶻐LZ{޶aJ?v:/Iox7xL7PĊ󁦗7m( Bc{ricg,'h=:@8݀I~<0Z..*͹?; #W*`+tu'DM%vw[goI '?˗C)5!,tX4jtg)lbɭS^31 Au,>, ]gYZ7zXZִF! =]ŗXiɟ1nhЦx"n_8N]( eOtd7Ad}N ŌK2D6(KE3%N^qr9.6+G_|sa 퓂;U0 yA2,H!+V@6Oc2d,CܗRbgbL Fp v`VAs]šs$RdT_֓9oTBa&uCJFnW{? M,2֕zF60X7x1np,7}o wgYZ7zXZִF! LJ !]ŗXi%I ;ӷ1ߪe7:? ͠iOBK5i`qbnld̝qN>[<+} 4b@xih& \YI:M5RrA/"j2#؇dG8#鸛bvۜYӨ2)!S: Pq/$m>ٱsJ͔4 )A"{/I! 9Ts*'뾻Lݣx r[PaO tqW&iez7nqBMJ+ a-N6Oˡg`F|ȠۮϒUaGV'rOif˺r"$iB38` G,_8IۼuELn#Do4<ijT^¿)$7@דOWKuĀ"`@;*a=OZ' >jm6kz!%K>&!\3*uY f=/7Tp:chj9Iu K.k3y0_¬I&T@/֙ɛev>q0 ,g`qXa#QVoH$>W㷔*~$6)?<rV @졬=d~zG~8?蕭3h7n_6#;l~߀S3mNж6 h(ׁÐp+AU(eX=-dOp.FZˬS HF[&eNe]2oRL"6ޜB(<"7W PlzyQR ;H.6@s=i)BtH/As*7ܸ}Q7:I * "]]YVdh;j>XGHק :`-~"1TkF#NrP<%p&xr ̑0 x ƨ8|Y,pᄦ08X2B@>Ǭ0Z<&U /]aJJLR.C|3Fa%гgg Kʸ3#De.e j͉zNA wat: /$2CuU/r`ThCHo~AoIta3 $JPwkpdK <&xt]dŭ x} o)?1!ˊ+ :qP7L>UZsh, `i󴩅 D,>7T͏9X+*xLxTTsQ;Fa%*Fβl޽rA^+%@[c)YPmonnvH<9_UxRVqގ"Q#*~Zр_Nǵ_b ciPG"V>>}s*U0M% F%HlB;o~%PHГےopqd-t@I\`װl-Ԡ'u'cc ¸ɱR꽡|zRQ=~wzr|ܠȡ!O^*PRzU_B̎hy]jxlF@/+'cgYZ2b3635aca0ae7a785be344e799d7ded05759f601a7e1bbd16329c1f97a9de9d6266928053862babd ea2cfc597a0179042ded7c822c8c5398bd1438e5 c98063d164e97992b50c13b7f886d7d25373cc15