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 v D , ]]]ZF:threads=6elapsed=12.900cpu=45.764gc=3.328factor=3.557zXZִF! ]ŗXf1-) enȈA$jB80l,v8-qFN}Ƅ>'ݖ]Ә~RZߤl|BX4Q(9O7B*}DjK]̥Nݟ;u:UvlM>i ~4;9^};Ъ#^y:uB蓮?UḼ!Qo91*3hqgOxsq*!G`i` GQ~Lw]$D \gbdbrgUVF}ˠtk,Kq(& Gm.?x{<:2zGQn[ola~Q8|6Ǭ;- %P]x>z?2z^q]08ӷ.ңJQ-4~yNw!#{Z0xj;?w,9i>mg$*^xxa]ȣј_+fz į<,~fOdBQ$t)p~st"2ľ2n.VVI|1&ⷼ_])R??+9dL_$=4_w\U"ttν$_rW4LڱgYZ7zXZִF! =]ŗXiɟ 1FE`穵5+{!>#nuj>?^3bh7Qg ۬W#2k&o@~:=QG}! 8ydɭIV U`CG%9μI&0KiFSi8JyJMT\-}q_u+/-永p ,$|c] ;'{a⍋ "ql w(hbgH$ejxfSa䞖)Y|K^"qᓌx;Ri01x 7(@T^~@Xk 2pL) l}";Ŷ-vxZ U}~OHP""u5kH{(ʍV|{z1/Vd[ՖQ˟7L 5̈g~K3nK]JA` E %PU[ڙ9p1B?%TANĠJ fgD [ܵ2?浐l8mk MKJÓ]4|cgYZ7zXZִF! >]ŗXi%@\pޮY1yw2㆒-/4jrL(_:cR3S8e6N?2a(ҥlVVմ[%]΂9;x#ru6 JƉ-RUO4aKAxL*`NyqTN16R56Rq:3pدKJ)4;{FҾLm./hೈW`qBmI3lB,PeА'=f_.cbޮ*10>.nI[!6ŹۀAfm@j]jHuxJL4OРVx4AGئAR/:j/jCݯ&%GBwr"#/j2jj]ЂQklX-w FNؠ^1hGa3 OVrːS 7ÉAc$uȋ G'q|k;mzn|J"yMf@qw+Ų;\[Šj^qOY%jO{~ݲ~ODzN6섄>-|-󎔮4EH/lK3R7 zeut`5X5$)}[9YS0<KHkzRto12E}2D_Z\_nnKz 2v YAZz$RVNUlP8QPzBEӅ͒?D9mAav4aWd.3p|?O9˖CjZ~GhNUIwL)Yo:E܊)MC7GSv5D YY}.Q֕tYi&!?pO9a?="2NG>̬?KD`oiΖ, JkXUvңs俁NƓf}qR|p+ nySc=XOː"?䷿9t3 CA PVK0|d_`oQC5&˃Ǥ 8#?)Q-SfsbS a|P*Rx4qBA%7M?}c|vƢv oGgsׇ&QjeID<ɴe4n.)Vޑ,Dv "?3FWV xӜE-ƍŋ-p਺s@l[t0nc(ſ> :8px`;q=&ʭ/A|ăiHC }{fgYZa0bf081ccbe8f94b32bcbc5b5595c3a0a258e99b62dd5ef845605834f99fd219c6113e6e5d2ead3b272e8eb3064ce6a12634e35f7d5d9a615e9b898a  ZF