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 V' l\ ]%]Matrix_Tensor:threads=4elapsed=40.621cpu=70.356gc=1.640factor=1.737zXZִF! ]ŗXf[&L_1;vU+o3&-8~.eE-`PƲmK YXaٚ8}ƓYDvv?3UT ~U,3P۾+;%qUKo@= R K̊t3y|Nn(~-g:o[FZ6oZQ5*!#!ӬFR-X~N>ܳߝ>wR©munc32"8Z+02wٺʦb;r̕B Szڹ;<1j4n;Bl M4'E˷šZ ' Matrix_Tensor  nh-9s$ؤͱ;f'>cʸ)-*q"Ԁ2=F hA,JXÔ7W$JDp8"kfNV4x{qhxjB/.D5 88έZb̴7VwgYZ7zXZִF! PF]ŗXiɟRepE@$a qc!L&h~K[VS AwbQl!k}YZ7zXZִF! ]ŗXi%GJ& 2i , x0q_tch/@N0Np)5&rjb.!-ǘ%"mhHqh!,4OىIH<}+F҉Ԓj"4-)pixV,QfQmgP%ϗIXWX^dA9 -oTE@<3#V[{ 6Zd bjN|>xa ۉ=Hf xQB=྾.>D JJxu뾘8^f+?2{Bq8pZgzV*7~5 &U, Ldqf4ΤJk |PYB\4'u ݦ#Щ[R"at??ِWŮMUR7ʅ z Q VX&#]M\M  ɖe) ڀ!_ҩi&Hmҍ¢ UG~*_eMp @Y5O勇4m 1l1P1MSg݅`)c]ƝY`UqUL+ԩJZ,ܨA.*|6}/`0aVa<[OR"=8Ꮔ4OeNk q,&G S 3TFvRZev a61wbr4e:UMH!1 *DEE2PcòGRa| +gt<߮pYN XGUBvL)&7N^Nǃe|^*%lQxP tE~ܹyU7{}9Z~6ߖp3+=BtK//|\xO`{Yf6,!"+WiaK$+ {AvZ0l%Aܤf<^#n=i8wzbkO#5l.YIw@Abd@ L6Rb(CV13 ?1H뛎J[7LZU_n1p\~Qݎ EPay_ec&jusdi 78LiV$Tv.9 sqE6`E@0o2|EZMk. kX=UΝ0Pv~+<FpKbv\oc`Me93's#Tb#TKT;Xi)xS- i_ Cv Y-46}Oo"Ӂ"H_xbۜN@φ" {%ATisݠ5wc?TÍP7Ъ37GܜLhnvP_Lrɾo#'La 8KmIR ,<qGgԟ{տ1|&Ŭ?[emFђ2.}Ϥ*lga&KjgLg{^[ճ_ m/d}{5H=w@t|SBׄ[)Y;x`bX3Mb)o9i7Z>J{МD(ﺏDtF9yp4*cw*5}HaҢp˨O@ ɀ(jm7) z@#fCX}vhPD2Kl*UNJ^ av@Ex ,]wϩdnmbg ោEۮ$;b+QhBpd1*s/w 7>ݘEbѮgLh~ ,NP%b͆[O04(Jo/B?fHE׾&Y(xYKJaF[L`U ;"Ƞ' 7,,!'3j,Ӕ!Z Q0rr-kT紂WuH^M{񣔈{S{vn2sfIᰚb}wLTW&i&*Ts e.\ԔW\}f~3mp%qq9B 9bIJ?Q@1Nf3=qCL#ӚOAZҼ"C6Ah~f9Rv9&P"_gCU4Bb(:8#!ƣ]~DK"/E*arߨr*zvηۄ9 6ȳ@,"J j"1V[ ,ѭGfg>WD?~`1,[Ox& ;mK}+)액3$v%ߥ?3',ۖY8S·}Rr[~Rɷִd 09dM.vUÇ/ aɓE=_4 C `l˛|f<"?+]`ET1<$՚*vaP:cy+=!OihK"؛2g T#T9wos%2lֱ4I&G˂V0rgYZ25f8361c9d9c0a19af56060a0e5ed3f5be38de501795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 6c3f1bc9cf6c57af01ac3a1cc2e6cd8e2c05e4d1 628b023763f9ff93fff782f391e91d1b0251b58d 216f81c4cc5246b87001e898fddf3c8f0093086d802cab6623ff788ea1238a304e371302afbabc9c