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  s s l, ]/ FOL-ex:threads=2elapsed=6.449cpu=9.136gc=0.248factor=1.427zXZִF! w]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L$%2pd Y x>,b O3ՇHhrkYW뽿!(6?4X' `yi{ W,!W6lu&nGյgYZ7zXZִF! 0]ŗXiɟ1 UtjL+S ^,'^|9Ӡ#q!ʮP43J;uΔL u)u2@'(X{Bgvʹ0bp;Dq#,ea?ť\9c [-'bVriΤaZ(DoSãAo( N 7AjԵ#gsĕinC]3J`_8-9Vkre@D].āx_ג7Lzo&}@9E!J MN='r@ڝh,)~;4$/x6 ;+gYZ7zXZִF! 1-]ŗXi%;d1Zݟ 4҇ɗ|P\gުp與Ƽ)V22tՉ'c%{cPS^sǎq'Ȣ89Mn:e<1bȼ.X@( AO*EongvN7Z}d5LᓤE$% :"+mLm}L2[xIQ\eG.޺ u /D~-7?Aӳj&I4.l+,9rz4ӻH9iyYD<>ozҪ^ (tK+xмpxec ͸dVU\8V&>CleWlY!&4۪m/t_Y7u^:k5G =_cU} Hԁfj_O"UYùNٺhq̙ lRKBíZ0 G K+ 9!^!4A.,Hj$/q Q#ԠM^Kj8lB}DlՒ s)|qS-ry^f6l-[Zj9`2]tBA'b,ıgYZ9bb5002d875d925e5ab4258988d04b229897dec7848658d617e1d31408814b70d854f0969b4d3dd4 1865cbe28fd46a50be543b154049937c961122b3   FOL-ex