SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ,,Q- $|| ]% Orbit_Stabiliser:threads=2elapsed=11.596cpu=15.480gc=0.532factor=1.337zXZִF!  ]ŗXf1-/6vR[$m=ԩ8O@:;M{j:h9P`^CY&HF'nxǑ`Hfاp J1+p12gwF K/M4WL]=S=W ֖vL%188|ic40T6Q沝\~u= g12Vo0 ժ^%X򛥓9YT%pavȱ'e7(W з67 @lgYZ7zXZִF! x]ŗXiɟC,|XJQWpnz|9"癫rȾ&HR_z]&ߟEw}u1˘n1(0#k]z CI 4bgYZ7zXZִF! E5]ŗXi%>g ;t}G՗Hu MXPs,MeA'd$sD^|أmm8Q~d5AH,ΣWľLѠķf~CI$F81)?5s"vXc=>+ 7$ ,Ģkmr)az ![בk2'¼Ƽ^KPFM؀te3S`Ŝ/t5^L+~RCQN5Qx Dc]'ƴyӯF:P;T>,L K 2Eũfm7R䛟N4Ñ{eN8&H LD{ϙ{bB/Pu /__8M*<_=q,`]OY9=l` ɳb*Dp jF~è.˹/NMGكfm5A%.W5!?okb},Ei` ?)  {F9ѳoMJM@=d# Ԁ難5H8L=)bT|c_׎|5 {9\ @`tz,N6¥I9\*OJ?sݚo^]/u_4ڠ6kBgYZb70e26af58843105078829cd759e7c158fec268f665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 5d78552cb887983b70c3b7983c4c3bdb3374a7e6 9fd8f913010b5a1187b1f9769926bd0952d3ed14 - Orbit_Stabiliser