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 ;;B' $| ]%]Matrix_Tensor:threads=2elapsed=40.149cpu=56.596gc=2.536factor=1.417zXZִF! L]ŗXf[&L_1;vU+o3&ͻqsvCT>{uH4ej][qnRFN<ѭ6JFG8^=-Ecdl,jƂeW,k\3|l*bp4TZIV4YG֣ H%Q xCC5<6O&Kj0~c",}ӡt#94e8"A\y+kxmx}]H2Ȇ=!"ãf~hX'?uZTǣODpCJbc^:. ^K*)j Gg9CKRhWɶXm(|9b꼓)e 9 {@dCx4"ȋˤ [zc6KTCas2rir;4¥z=Uؤ7$~&IX`E~=e`r)%248܋Dž@ fغʆDj1 \f*?JL^ч\AOʥ477z[8Y%n-FW]gYZ7zXZִF! OE]ŗXiɟRepE@$a qc!LlklX3cT,C<[' d :aP9 7}YZ7zXZִF! ѵ]ŗXi%>g&CTgx]ShNi6Yْ:6'e>`N{rEpv,DJ=n:˵H o}g7ZɌd_tfx~4EC0c8#,s^YP3aiK(袖&?Ȓ-ݑ+RgǗpѣcuE赽S#J<,#SC@^p(_x2 -?: l1bܗd踶v_[+BsB5ef=].;SBtLv9%~8Y:Oi {Ί#Z@Tɧk+tӟcj,{og=ʰlYYp5Pi -lQIlxѫ&Dr>|3*X82ç!ЯlkC%2Ov)ZYd0M :kT{f!ɖǞ%Pm+X K7\+JO~qk8̬+!?6ѤrC-%BkuP @Ӱ-+{*w^neX轒m7V+Tx4nsveTx%o܊MKccBHJF3z:6I! [qTs[ieF JK/\VsмS''DKTu Rsƽ(5*gAQK0V܃zD"1jPS8x8R%AgYZc7e568ac98f2c6c0255b24770afcc2aa66f645b80779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 38e185c6e60ca27943c5d15520a397a3722961ef 31579531e600c306769c792f59365f379fad7e28e4acbeb5efec48b6f9e698aff4958dcacc97f5cb ' Matrix_Tensor