SQLite format 3@ . YYQ77Atableisabelle_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, "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 `' L ]%]Matrix_Tensor:threads=2elapsed=39.157cpu=60.128gc=2.340factor=1.547zXZִF! Z]ŗXf1-/6vR[Uy{JqҩC4f(md` y5F葲*e=6N A!4QNnKrUٰ_ҪmkťZe0v<_2 Z{\"&8u]PYiXP9miɊٳG 5j9!A|&40͇+:Q/%rE镀9čؿxxsª;{{*\RSwt{ 'E^eE$tDMR19x2DS#;85/dDW^QS;oslG=V*Yp#0k~27i[kMxhNx䐍'/G\!U94Y+)KiÛ.h^^:w % IxX=l1:Ĥˆ?&4{MʧEoPs]*tZuijV![E@h;z;C}K%/=?d?.3zsxdT'w'*b&6#DR-ؒ v-o# 4xS~/@ s'DQEG$)*\b\eܰQA8gYZ7zXZִF! C]ŗXi%6qa6nc\99'|:t`/K;&w1']qנ˞ęS̥eaFv 0U9?48Q> X61-5s?Ir1Î?Ş~-Y۽X O U1܆:~ m W1_= Ukؔyu»8¢Z,/2 VSݷr?',1v4?tF WJE9}kC }\˞cvk{S tjhR",#NFti1B*\9#= B}_qJ*rp,+s:C,|X`#>W돒xOTFy}–ОU.)/d~@c G'p6} X">ҍXT҄>~x<⛨8vȳ]468Пz+0e}~x7h4:BzNЄLP5Aሯ4[IdKmQ4׷!N)Wh%5uщ LqLޯi%"|> ﱅM/-6Tfm?0Z1NL7%[(lR?h>HBmeBXX+"q5x%v~BZ缫MQDxCPg%hh#SƐZqb%?ACeT.ʱwO"-,t[ 039o:7^~ )MVH57ؘ i7b/=<*.gY+;"HfsaO!ސ]cBHtun1R ps*m1u5ͳJ78Q̝Um )ribɲQM@\@U唿0Q/% €@s-ƌ_.9[Yiwt '.c:+aDJ>"B9 =(,H_k D Ro6M5"mqєlܔDaTf̞):1 (qj`ERuxsv^a96o5#!*&/4pO|Lj Y6ML%!_I}2k~ RG60XIy ^1Eya1-h9UgRxdRNKȯHxua{!YbNsߏc9c@1^0tt-@zLi*QT[FsY=|rH@?)8_ 'XUD7vUǤ'^Bl`%XQLvF5l'ϟ>x99fjkDI`E:jЫlKn5-Lm)W׮ͷH>fE?>&f#l ?ڰ HPU>93f%?#2DWjfQ%]SǓcχE=@~ 9Ckѫ}03!c$K2^ hUmhD,jz΅Q]L+"*<$2jX]fX^WBFD<Z)6׭c}\BO+ʎA ˪ZrF]{EMOqZ LvYȣzW3`X@ Z?4,,ֹi`$Z+_!B0Dj4쯎PہI_ʍM!%Ba`So0c<~`TP E䲹Xbree n(qZ1OtFhjճ0xOnI;JYc2S/5o . bo\GEXo"(8EvEjΈjM1y d֦xoC>4q&?`>?"#\l`ͳXI 3\둛E>6 lv˾,tM=s1غ!sꄣ2K/Wȼ{T:q X $.P\%C#+U$VvJ;  ]#]e6mnYRD^!H-E6Ae o&Ɨ M:bp,/ҏJEQY_}6ΥՃZuĆ~$gYZ2d6ce928dde51be19ef187d4f23e78ecccd6d6ed1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 20f232f8daaed317499e4a336e8b16af450cf8d0 2ea1f7607dc72c9c1b586bb205e2893de69e027da1ffe9e6f88f485d7db48e182c9cfb7b6a867ea1 ' Matrix_Tensor