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 oo# 4t ] Shivers-CFA:threads=2elapsed=31.482cpu=59.528gc=2.904factor=1.897zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Wb},4˝H웻l)"X,2xXfeih?Ҙ+9PnJŸFe(r=%f*`j<. mX`h}s{_n B̑Ԓ /YvS^׺ם^<%pWHFŸ^JhdeŜ>ׂCxw}ݥVgY,_B=Vhqp*n䫯RLULAsaX4&[# }aK2|2[(IЁzʶ r0,c6]r[%QOg$IϊFy7z.q ۴<.Y%HG!YXX@+꜏^ÝfQ3-GSv_PV֭LgYZ7zXZִF! ঢ]ŗXi%>g2;IqDn}jY0Ptr. զFݰ7J>cĠ@)]aүi%bE_#b+a\זvC,=Oik< Ī63ŵoobϹ7~7`-P "Bٌn!Q?av75Ĵ洸7G:أj3cjL=@ΆE >W_-"q[ĒI3Mɿq0EMآlFl*aވ Y$;ٌ+\obhW.*ψotWzH,ϬsOhI83!b7?U+,X_S `YƟGʡ> l`S̏DSw"Ə_E9? K‡Fj6}xbn5k.-O7%|~ =,&|՘=}9:,p{N,+q5 u|=ՖC"C Ur ^69#}D㚋O)MV p<uhirrnT:/ Z|% !GFRìBb$EХCÈcďXkcQshz,m${D-˛ }ahCIW9sV>eA}KsDhlDWࢹN~šmQkD0yWA F1Y1pRl}6O`.E w, 'ٮ%AeoE)Q4vj չ l94yS?Irs%C{c%cWC] UF.xs[D*-lsx'Dh S>Q1Fv]8I] jټ[dIU/ze&G=.'**cAa^I7mAT;ZdJRqQ?f5ȯϵVQˊwLwʐEJ¬9AD;% UkX#M[qNY5zg͏ԸI "44(\qBhJJňkVQq[[ͩ04@t9r\1 x&QRaMs[eCX4$Z/FG9WOd/kq>.Yt$|"dr*nOj*^,FJ0ۮ.-]6um;sc2kC2=A6Im$#7N|Nu͞_X TbXp#=;mRUB8=n_{N%"\-G" T=3ҏ0gk5{AD]([RΝqPgηa:%f^:7z@TX+!kx#_H_l,BS\c70S@;'k`}21X )`Ո {$W$:Or:({5  I!Vq#ܣ-:E⼡l'W@'"ZCXS sScƞJOZ -fVB|rʀ$ق*&^uds^\[dlӤ ڮ?ɵtXgU '|%}  iWivU`#sl,{? g[,\i9gYZ197f1f815106bd78a05fdc8683d5464089368a63665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 798acde50772b3f2f82b04d5bf3fe9f09e58c08d # Shivers-CFA