SQLite format 3@ .0:  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 # t D ] Quaternions:threads=4elapsed=22.660cpu=30.128gc=0.544factor=1.337zXZִF! ;]ŗXf[&ptO~A`Il F ^G!]ehq5#ד4zŋE27*DëҾv&o_@qւ:Fmq_™ 0r`Z0'B[N0vmAmR9&فRvq$q' % 1ڵjMJMNjc;!0C;'uv"KE-F gYZ7zXZִF! LC]ŗXiɟ< =TSцdKeor@{%YwEg%u ңپw_M}YZ7zXZִF! u]ŗXi%B:gFryGc.FجC7*yQyQr;mD"WRXr(N2U6, H(Ļ3HÃ>N ѽ k" `dϳAۙ! K3Gg'?k"=9~%v8ܬ|'4;~9kV4w`N %KQ9?@w%%^s1 ~j._UQ_j]ITGzu*`־#nu{FK9k8 J4_miCRahr9S{ 6lxD-xb}H\={sKLT?-f!?\XDa-`X=FRPG+) /Z|D3Xq+"> 3MxT#wRݦd$T_]2漪Adijֻ;6OP83 -T ǸOv nX .|Wu6bt:1q,q\Dy IJG&$OFyawL"7Kts`HY X}rHzO@j䈛..UKǡy]f3vf bϵ0Ȇ.s r|ܵPP5 lNO뾱{]Jlh2FMl6 }5ܽq<+|a`i9n~ O;71`XL']A;JtS1ΘQURܩ f*N8Tp^DS6@⽦w&pS&|G[L2=݆Ț-6OC^1T ;~= QWԀκȑCUyr:=He1^–//aww(a>ZZ.TC~\wEcl4i^'Qh=<>z$=ikRZ8=@dѐ ~ޫ!C~)Bϻ3$R5Zci -=# p"o:D8Dp"e4} )/!%̛\s|M?)s'>I\+rfO8ج9]yc}$<)Max1W\e-ETѶ:uw~Ɩ-oǺ.N  _e|#J kই{q9O'?/)OPufnx DR-dO!Tt/${J1^ |?VNUĜAP ~8B]!K L>ykRe ͇_CR.̝}ȪF¸ӗ|\y{nIYQec)|06Nd|[d۬z$s::[0pXYa1N ]a J39y\;J&![ q?W]ۯ_?ֹSԔAVzсrEHN`k z{P^d f _‰N!}GHl̋8*YmA<0YyOyi(>@SVd 2G{{w \