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 g;  m% Special_Function_Bounds:threads=2elapsed=40.352cpu=66.328gc=1.204factor=1.647zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1=;Nu0Aev`Lm^mm'HO/>i*ΓLjx]myeif%yRh@oˋ% L0.3pQu&2yZOX?j0فn`CS% rFYkG{NmZl\j!{ b6Sc;Ϧ)O/5@=iX M0f=oeMçz1j?ԋevR|\:83X+0KT^D NKmxZ]Gd CׅLWB[dQ$޳u= ^rU]H+ Qd<2z>^F[F$<_(.u|S=8=!+gޓg NwH v6TLyf!)mO"핪Ev;nYg]QJVnPҥ=1QLߡ:P{q~s AtˮX 2x&rgt%cL]swC Ś+[1<|+[J_qGtlu*i|kb-}3J&;!<#O]|Bude^@'n 1' 7e@1RA(1ROP IVoZqˈUѽgrijUΉ`ГQg<oil}g٨¬wŞ$!Q7kpu7i I%":emf3'h%1ey X0U`M{ɔ]C=ڧ.ENWSy^=w62(Db:Ձa2_4<6U9wR~>Nα213{^OLt6Pԭ5ߙNVO50'O9R:@8ɐ$=R.]Wٜ_;#5{]g J_խѿ?W[շ"\p#W# _H!ju5Dvh