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  H 4D %w Topology:threads=2elapsed=5.969cpu=11.132gc=0.832factor=1.867zXZִF! E]ŗXf1-/6vR[k5Ksn J?LC+K5cct<ԝ yK H#G}!P83-ZLA,Ш]4̀y@KP ҕ |> ;,=:&Y[y>.^EOcU\ޞ%4"!/Sm */d,CU{ iZȀR鰄yXDgYZ7zXZִF! %x]ŗXi%6uT]Ү;_/c҂ʠWiα/$)Jm|w _y4z $K(Fɲq7-d4pY2VG תHbD,MK耞"r9H"K8N)A&6BORErZ1ׄd6vK7>d,X)uH7zz7(%^c-܆ ^x:PToTGT8S/ MgtgVj~1nqNJ)Xaֻ%F^O{Z[šK+R$lDd*3,x Ybci[߀V2 Jw W0"-%%ȁPZO\ޡ;׫1@in)Mfd_q֙t6vzx59w0CШƓaj=~_.`uXv̍Łj+%$=hqò$QOd'# 2vlxa&7<~ku/[(/QYtJcn{W^,#y .YI*`Xn: -LQ͙Ҙ%(x6gJU~p춤/a^5ߡ- 9vSȢoxUY{CN?" M=n"vF )o0Em"4* l!e`YgਣJNgYZ11a192dbb9af7695fcb546ff21897f89485e42a7 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511a e09af91f36d3b8ec35dcbf5e10e1cd6d0b8f2225e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 9ee976f25fde6d06c8ace3aa9617694fafb23e57 c261eebf48d8c50b6bc0d9415b3b16242377b9e0   Topology