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 ' 4 ]%]Matrix_Tensor:threads=2elapsed=38.826cpu=57.648gc=2.604factor=1.487zXZִF! T]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]JƁvz?#9B`)ȍ%[jwSLA MVeAEV\uQ`%XWGho-MVJ=ZV~PTMu}=\H~%cy.}PI"5BϷCe:eޥvkƴVpP- ر;^&ؠ^^d@8=B{hdPQC_J3ގwu}7w=E[q@MqNX}ʨCi L8uuC>KImUҡfcʟ ,Ԏvu rZnt=Z쳇u /o Rb8 ?MS#O@LtEswAT $i#.XYF`)W\a8)z2}]o|ۃNB.Gi~I =*aykNjPzz a*u!W@u3#`1бgYZ7zXZִF! OE]ŗXiɟRepE@$a qc!LeoSVE7 ; "vtš.aP9 7}YZ7zXZִF! ʋ 9]ŗXi%>gQzF$QOme&JFcspD #l:C'B}ʇMR -=Wnӫ磆_!f0zT;I\T ',R:TL _f.KM3e~ÑRU>LK@;i{'ΐl}nxJS/JM0^vHjH1k.v j$*(Z ,ՕKd5KF]℧ -m3mY!+4{prHHKʑ ޶:f7;ZmUZ8Ǜrvl`Ѡ'GoW`^/ z6>0IL#D,\DkzƤzHm-  @ 8 Le\l_:w/Y"ZI!̥պ>iz~]DF%Dj?]z4R1>KZí, ZߡPy?'27ҶqH:f0@ُ1IGo:cay7dQqOsPU'f8[;"OYY~ot Rd8H'D#IPLXe 3ʆ'S4DFM jI c s:^Ï^ RwKBb˯`<kS;ҍIfnil@٨#!=BGAae̋R+tMqA2eȉQ?PY$|>y*ZKv!x.K!-%k?@Q>Su\4I|>I|omC=rtVJjqaJHpi6c0ȧ9sd–mmM-I?b]4L2h ?(<'~Suh=2$,CΨӲ/ưdf @>:5`W ФvF0?Gމrt,0/GHf;}g= zW1Wgm(GXC6.)PuxOxl3˂U r{ F̦7,\i5/_@Ej+ `1L7ZZuAbJSh*]Jq5\h\gYZ53fbffa447f0e160d7df046198f2c8671998be1797833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 76926ca233aff1c1127339666126d732d5d52775 832c9749236255319707639099a8a29692ce5f14c2cb593954f104326e75ad132256dc8a2d7938aa ' Matrix_Tensor