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 ((U- T, w% Orbit_Stabiliser:threads=2elapsed=11.784cpu=15.940gc=0.500factor=1.357zXZִF! #]ŗXf1-/6vR[$m=ԩ8O@:;M{j:hN ' Ni/ {6x(KWMFgReeoJl}h$MYkQ.1tLmn%ts$R] 5JLfWJ%[^٘$0-^G:-O5$>DuZͅGf}E&X]+#Q{|u1De4+~; ="QWӦJ&4gz#m6Vz lȱgYZ7zXZִF! A]ŗXi%61_(.şX$ySQ &e:j#mGÁtI+j‘)4?v|Z: #pwf?,u-E+x=FUыu& 81~R1AR~ZS"<* "dBlj?A>=Ncĉ/$}"7r p'½n)nZ :O%11,hv6ZuDߧ[GKyti!\ JQE=;VB!Rv%{؞<\J޽8S1;" E"'eME.y[hًD]c Hs5OV539+h&6k.bJ~7f@AU']^*<<`^c ęBwHam-7m6)&=E[XLJY?-&:6WZ6b0\ѻaBqNFva(V߃PEbvge#~~ bc3dRMxf 䃉 M1E ;Jҩѡ0`ȐK5R9gJxp?Md*#2?:4uEtpS3!iac}3\uPArQeIϝ&` tE ϟv&~7 B dhLߧ E,{߈3í \[7 %NF!W"\`WɲHX"9r/.ӲŒN!lKpۈ( mM,]V$-^ֿʥ;ȼoy&WP\_/cF]/|:! q@S?~S3ȫ8^|B(5ȈYqT&=l!#ӗ朎TdWߧFwognFk-\av>gYZ1c58b57c151fd7b3c2ec8994ecf7c7d03907ea08 1f547bef1fb4028ff0beedbeba70dbf58b400ead 38b0ffa3c2f6313d650b740586a0514655ce4f7a 3bd2d6e65fd3914002428361065165dc869e1f5b 719774e19af55f46965fa7cf5d44cf78eca923b5 a4d56286388ebf8cf0d3c698d837b8bdc8c6d16cf0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928 3e553857d112c4e9d1c0b7aaf3102c0d82bfc5f2 9b738987f2d069af23af5e00acdec7355830e9fb - Orbit_Stabiliser