SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  P P-T| ]]]FOL:threads=4elapsed=3.918cpu=4.364gc=0.292factor=1.117zXZִF! ]ŗXf1-) enȈA"tr-j. ZbNVHhHk>9a+[ze[.ޓ0 m'/h}!%v,6EIїEf&2ZշѤ^E: &=$[X^gYZ7zXZִF! pK]ŗXiɟ 1FE`u.}l(qƢP$NPdӒTڙ-|UX|$[ & gq 8-}YZ7zXZִF! )z5]ŗXi%Bx51VvyѪ@a }?x璗OsAXY_OBz֏itËtz8\{Eq_*.\:P"sz0OBCr1Tĺ8ptDT*7 K2>!xChbw%zY$|6*)k\IYf鎶T,5#*Fv Lt+WXp۰,sc Z~uSc%Sec>=:wlk{՘dlmokw)d-.AP[.%Wq ajWސ>TT2rV1 O 9x(*\67RͶ5x+.9q/|(U9]ZJIQ#~xb)9sO9͟LcIsatmc -UE\ranEou0\.UQ$V)Y>:jdė jLҶgupx-f7떞Hq*f=uwY~1c3BI [ŮBL^'?EUFu1<ڕ1K2;5PUZp8滝g*E*Lr|q!58˥$!cAYcf^i~ S%zzdZTQGP"I*L.֞  wg0 Sm ە