SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 cc' l %]Matrix_Tensor:threads=2elapsed=30.214cpu=59.140gc=2.836factor=1.967zXZִF! ȋ ]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]QsS˓G,Qu/uăcCT {Տ&a7ahǖZF45QaK4)=#4% Y%o5 cK3]pFfetotA2 NG;㬁#'돾!Ϭb?3J]/El4ڍ逾Tí7vo%>=Fv3z<&D/ Cpź&Pi{bʢ4jCo:=e @^|Q(qtQ# -:J#(߾z:q3o^?,-xru\"*K|X G<j)>iPvts'$>݉D\pT'$B%^'kU\+r5T9!X-v!"RÚmAVkH=xsKِYa5ŭGĜ-3.~lb@_[xG:y{ +Z"ZsN^MBAmbqe >]v R ,V;~Ɓ\xK4T. v!|O6BYLnyd5MJN1W0McT$h6Ĵ17>Un肏FqNAZ܅?&h迤x+y))f!ZweI&"DȳŹE:ғC @vqS! \PXfoPhS xOz2X8d ''ּ%ee;J**X9NNeIQ#?̄,Q p4 R<'3鋏U`K+o+Q[q Qh1Lw4٘)2+3]Q~yhة(vS,A"?^j F:O©?p@ty`f132"Մ?+k<b&At=R_y5 ^k_6:-:(zwY=zY2awL}-K/c*J4oc?xI>͟A\g6N!jgE]qH0Ck*[=W-G덹/^Vd}a@HQv]7ӑ0zouQ vԧ ^lb͐I[14"2A uGß*}%;Q=o_ !-Y| O0QU;7Jb8ˏS/4Yڹmh!_Hﮘ8m:wAx5`+R{(k]lyS}^Yȣ#*_UI|7yNߦ ]1hJI/$(M&)7s )2F 2( +~"]k!fguxjIQ:uV=]JG8DGKBoMF䥤 !Mu(vm#X y+ڮ}AMcU\A+-ilrbEh>M$#` _SoTS}ם:\xtђ%a? Eoߨ(( €y7t((4CeX{De>y\RzFU,Px+v/MvvZÀoP}{3o{0>*"āR(I˧KKWIZ޻Ĥ۫a,մ;[΀U(ѽ$ys:Nfo[uqW`t؝Y^+iMBxָK)H/4qZύ43Ot o~sʠ*/G1bpZ;|4Ƥpx6q[gVnϟJgr̆UkIWd k ˡJk@9g!: FkV7,tĹc"q_z-鄛h0b'@\w>Hǒsv|5q anƶOe _K<7})26KgYZ7zXZִF! -]ŗXi%NH>5؈ i{qY~:d)jnfPxNY'#C $_{|Y }Ulid%FZɱq47lRXs/ #?32kћd]LԏgU_xinh=7MX`]DJ+?@*6Մ1ޑ8 * ;%s;y PH(z%lL.(1m  NO_o#,Qiw^vdUV51DlHsy+F{h`Q>$6ԛGCwa˩H츇\S9ZJ}ڃt놛ӻE$tVLAkpA0}}z.26i*f!̵EZIhA7ue1)Mp\&j{x\r,[PPdaį]+ yI-N)-Ŋ7L[@{&C!ɜDQD $-q.B} `e+Yix Rm2>4z']u~6ySU Eŏ\yvTv°$|xDt9oAXTL% ymXumi+ v9*? F6Ct3[4 Dl}%xZx22j*_ $}LLp3o|"$.CH4{˂45´}^+iF`mVȇ{;plE0-tz;'j|px,yؓ2FB["ۤV::`g כ-G ¡,1Js|<:0Nɷ֫>e"^ᭁP{AΗ-m1*kB$7TcvˀEaR;V -K}ZDJX?y|WemT5c5[rFvYICWF~'M. 2h(P7 Rxڿ-[s(^paNؕt7Kp|a5|P0<ͮLEZ]9ߝ3eן҆u)I⑜NAN;[bZej5e|ÏyiRN FSPr}&!UdH Qn@/\33%4_'^`oO5H2鯎_0ӑ#ύ(qZuGEַK s4 MsVtdVT-PIA%D%le?DQK%~[