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 ~ D\ ] ZF-UNITY:threads=6elapsed=5.115cpu=25.704gc=0.876factor=5.027zXZִF! ^[]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb5ׅAfãiWSG6b· au0D.DeR9l Zj5ǎsR@M+WkĶC%R\ӗAҨoCxX/yIa -bRmf aY\-\&X7j:C8EN>B]QKq̕t= |6n$B,v:O-șa% q%SFKJ(COvQvbp4esރ?pRї`޽Ħs(h;f&f5mpU^]11](Zs`Pa^SJr5lwQ$BseW zZ9Bl iU7pA_O{B>̇+984th :-fC r hݙ%afcet~O#qnzX)$< T‰MIw 8xgYZ7zXZִF! hg]ŗXiɟ9 i:4V;}A<<ګMP7#\zvª {/])CGBxَ̒z(B ;Dp ig:AB9._,Ce~K6 d)sƉ\]0;#i#ke\"bȩ7>4$gӱ*;[ǒXX詛ޣ蓁fPf6sZ:j;O`MB7q~?\R728A%ҽv NWq^2LtX-oZ~I1^{]Wl9:&dC xl0lJhuP C1gYZ7zXZִF! ]ŗXi%;8Wkˆp3lf<]ۺuNccSϨ9c( #e1:{$]FkR@W%x ^ sԓݒ+9ku!DʇZNeI@_y $jZa%uRm EdEVkaYqitoy~ځ$n1`glNpJ'b 0625Uj,6V }YvDW*~%EW`iyҭGI$\~f!!^m==0>RGˍrҕO` <ɝ݁ T-GANo:x7$ux)1ȵ+{ØރGtch (ަetq~NeR>rcJpV}z Op薘bFg,Eo]N)bOoXmjx74P>[{筄l!?决Sa s"l,V-Ts YZ sekH{+0YW䪬)bU?Zi-.0S/IpOal e;~['584L