SQLite format 3@ .0:  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 ss '  ]%]Matrix_Tensor:threads=4elapsed=34.430cpu=61.816gc=1.560factor=1.807zXZִF! ]ŗXf[&L_1;vU+o3&[_OC&>ᅬ+=[a-L (PL㹉s 6>- Vtn |(0SHKV~H^;@BN2 Ҡ3[t9Ekı05NU#y^eax~i:aLa|hpA]).4F8ݣ/_pM0RZN5'~[/!XQ0fugٜR!z^tGQY 1 ӇcO D?Qy-k /mL*Ѷ/YwV|qFd7I^gm7Q(Kk 3Q~T`yVKcp"9s.~(zT%Lۏ^N~-?ϊ#1#CJ8eo1, 뫹-Kzm--췈l}-vUEm;c>崠GV} ބ!dOD7~ W!lHl}O V9>Clg8(Ody SfTIBfdi)fq[2r^ɰkrԽs'OWIg V455tlSs.>I &8f;b Zi.-wgxGbuz= Mja+)AkC"ӄ~RD"F]1302Et"W2sU9dN^"|rqFVm[P]o̱kve"D* *}[ 2 Yc 7d/ M7y_o}'ϏOYhsQ / >ځ%>  xʋԔ&|,sяa <ؘ:L\u8X%՚Χ:}O:Q]sq"ܩTD%}5l˻o4Vcb!c 2 5%pvN7 w,tJ_W֝VhcI5g'p|aN;"yLCClsd,:u!42rE1XF -nҸPAvJ" j1†"yD.̺4/>RSn,ώ [*JǕ+|MF 9?Vff  W^@#&i ʡv$Y &7GBDž\6U5J^abWŋ/70!jЍ_s#8lՑڱK`1t dsK+T_O\XmOITz$010̟:+tJȏSc!Hit4IWeB(p] Mr z:k0ZZI0f.\?raK xǔ Pr)o },1 ^ͬ$u"y *cE*϶_ Da9,?ж:c#k6ڋZhe:}QCGcu՘lѓo u.vQU[ؠG/wCgwj*E)!ѧb'Fp8s/_zt4w:SAKZBњn0W8T3eNA z IA`{ ;p@,G9z@* ;D|ҥr1yGXJ\nGeIdG^z-׮Td}n ,3h w>sLK5כŝ-1|pZ"<(/?6)KOMf|"HM {t*l)}xbۃ^Y9|eNa#%KhX6iB .&4607J lKD ̶Lvcm?6GCL]53!į5ۉОiމZ;y{QzWE A0kb`giifdd Db9y=l-8P̤ f dJˀ;b7ww8|s Hq׎^h"mRK31Ml/JhM|Blx!JnꚚڮTW=M`8CT-D鍉3,T0GX=#}t1VCkW)v-`Qd'k9Gs'UPJfBSڲy'^eJvءhwz2.x3sAp[j6{WS}m7e5ؐHMa&+g[f"s? OiE3mE&a'ȤȘՒVUQȉFБL׉N3צ