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 f$|T ] HOL-UNITY:threads=4elapsed=45.957cpu=154.248gc=10.324factor=3.367zXZִF! PK]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jo/JdpKh=h L L.pN<1z?c#!,{ΰuqŢ}iV6Rֻ7K%9\"f?mF*f(JB(ɱEՇV:܃I CYUw(`&cr2 F  X챢:gOKaoсA$= G@\H9SLä^~k1ijнA BGH˽5l2?(ג..G}߃,ݥ-%mVp,R܄U F;d g5P 5$Z(4֏7HAln.OGf`%(IZ( MZ#SMX.ℰk%.g3>.'L Naq>GtQqa#v>VV2/.lŕ{8=':Q +br FcȽ7fJDmvGG/!W/z`Gq9336t~,OJ"_.6|osHsy;>)"20|u9.n2Ndb4y:C...dQ~=Cn]:T3*m ei.0fqnP$MB_@#`ox|V$xJ˳k[^[0$p9"3.sѕ} !} #'Wb-8A[ˊw-[&8XcuVso9U?vT1ۍk.նU{q6A!N)ɸR̠0gYZ7zXZִF! !]ŗXiɟ1'x^܎m:AF3ؗ//%MJt+ v%&e~@ËiT[t,C^Ob x`Z"p S ef m֞Xs^5l<XRu=jDMK;H/dYlSkYw㗽™(EGGl/y2V%I7t-Hv% ȉqe%ز0[h"w$GE/⠉nOmfBz^֣RuG,:mYN+bB mygYZ7zXZִF! ]ŗXi%L R~\d:fwU7 o?[p%t,0Q&x;Ŀ,#B,[2r/dj^@rΦ`QgӢ9MǡU2H~6sPd-JN KCn%!Q]𵝑 Ep~z.3a!|\-g-j" \|ڎNVl22<_[N~}/YHBKRVP^#8X H6q٠:]B#!)oK@ DiW|2)a'BtfJ3Tbj(P%. RRwwj   HOL-UNITY  "-ή=oE 4ȨSlܧEZd0f`8>u)Sy*n6KT{۬j8~: \Ze#'s>}[Zpns|yo$_{c;9TZՓ P܅0QK3gC6yv&-H_UIqF948(ޮT-\—L$ԈJpPi ckhԭ8ށ䫕drVfI`9FdVD*sW 7f洷}zAFPUO\btG0~},Pi^|\,!'pӶ뻋`vNWRmT€.NzP :8 '!e#|RBDݔ{~'lϧw'x?gږ2 F _daBϹSQvfN'Ff_\dW g\\X˞3Y-#ThW?t罹Sta80cyѡ܇mc"QZ+7SL$OIi}*!_N1މ!r>*NVLP{,Ӭ5 l(&hQ?eX#q =.7 ٙky=z5zN q.C :~PKZ /cxu&䜶,y<ַ\9氒 m5ޙHa:# ive)(nnՑv .'UW;%gKTt8B7w !δPDX&q0 \J(Z1A\L%z&)FS5[?ʓer%3'L w*6g0ECE/4O[Jo!RAbJu=e78Ǿ}8Z_ 3m+s(Nk :l`l^\׻hAA^>^<0 N_@e 8y 9 &qSl{>ٯinqM|P 6\wAJ]okon1dEBs6Yr12^rhޣ'y;U>1C!~ΑO50;RB/++0Y2YxVY"n\ϊhDԋ|")5 0` @%V˛Cx,.$bW`ef ζOaBRYBQ*h ;Dۿ!׍ I KQ8l#㯸Uគt^Zzw bƾwf#