SQLite format 3@ . BBh77otableisabelle_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 J Ld ] ZF-UNITY:threads=6elapsed=5.109cpu=25.828gc=0.904factor=5.067zXZִF!  ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb1jN ^ʖ4YbyfUxBА] ctw+$=qR}&hbHY.;30o/W22.x$3An_Riu8x?FFra8OL|!,(HQhR"Cl>BKB8DgTʸg.ApA$$v O @ $Xo˴瘭$i!Q6 =W5}|HrW3q S[t~wWAW-_MO!S! @NJ>c [ia-[k:NsgYZ7zXZִF! hl]ŗXiɟ9 i:4V;}A<<ګMP8'J%KmكJH4` +QOU| T؛2n6(yl.X[^p 3#u-lResюǠd&ݽ0Y;%I4p_E kCٿ[7#X/5@2hb/.M tdczY@†m\MPܣX $%Yq̈a~W!eD !^+\<96\`hʅ6jM{_XHlID8u< J= yh ܳбgYZ7zXZִF! ]ŗXi%92;?c0g QA TPPf~:@2kੑZ܇O?a{+"FbH-HVv㹇ڍ.}ejI;|/qeK= 0JGR)¦|gl<~&w,% Zb$!V/ !4I5G$Sz%Yp0\0{ɤs%'[4 {朖S'ռ'MQp6]K(B93$ҰXgTZx>^Hg#59rv~딑KSɺ O[O%z\Oձ*i$_ gZ,|MCgST H6aL<gҽP}B Kx~[-[ Ј". ˦.VVY   :x5?wP{{"Xrj0Y19("&pzw7u <1Ј{$lH&`|Qv~pRˍ*/m8vX嶱Vh7ՅN(j~b鍼ᎁL]