SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info /   Well_Quasi_Orders:threads=2elapsed=27.590cpu=52.472gc=2.892factor=1.907zXZִF! r D]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++*B]u>7_SXԞxSaK}NQh(x:X΢x?ohSJI9o6ZEȍ / Well_Quasi_OrdersP,J1&]7Jy'k<^Y^5ŜL)pɣctu1!@=5dc׽FGY+v'ЭdK7:i  D7,~eM{v7i  sPc[2wWDau?r#r׊jN%|qz|KNa8$BbxU)SX#lb54k./Znp,}T2e٭Y,5 ks9ew K࿰(ٚt/DrH{xPS-gvU`b0{F&aa%"ڮpE cR2Jhy[0$!HT 04WP[C*t<~mέUz9ATsxO'4!.D?n㲂-AEHQs>g"O9ނXI7͛{PBԳ [obo!M)=hnZ-6W;wh,XOB}"gI4 W+ƴ\g@<}P_IbTYFoT|S SQO^¼DklPŠk_޹)XUZ2/7d_gTZ|[}Iy~Ogz8۾θ߉vdCp)]/j2yW=~Q4y1AwCvm%kˀ⓴N>viDK h\Xwܞز3;Mx79ʎSNM&ҩ)Iߍš-պ  'q6(6*>8#nRq~㧴c$x)cWT"]MtA`eeOv_N4)#M\Yl'9əibZs1? 'Ysf$O i<ӈ3?讚[?ne+)16i(B!+4x+Ĺ״iR[;` 5f P1C|Dh{ԻP`]pG~|9@Ew3']!)&[ ژydPktN|r]fݥI{$@ր}u2`oz/e*??ಸ mfg%I@7r|хsxzzQVCa0L=:[-ޯ7>4~JHvzn b2eoY>N3xM.wVXB&= B8q% <6.g4ڋ+뼤@Hd|z\giS׋s]} k%~ $͆>z|O'q \zhsbpf S#o+**9#u5+VCJ4@lWܗE[!WN{֟r-6כg7JBC ެl b4A?ɿI'3AĄ?cP2QV$}Օrcy=2:+J\UͮGݹ>V"&Ei$讖Lc9Iq6}F`oT S*t빷yd=7KDK2<lj pK,D62=_?VްAo5+TdjnOr$А+̑`ZRƐ>E ^$VῨɣġO揨- ˖t߰^|@eW$ccam0\橩?: ssޙCo;G[xVBkd^gr,-2bin.Y(*${.x̙w3u?mɎ, ;(?R)*93(0;rgjj+M9 Df=3hO[VdM.%qZ5zTv 8*D7HC^QnRŅKl 7)H^.qb"mIՁND_WzɠM0T5QvD3,(E=2ir<սZcrj#k^©!3pu%Rd' .O`*ipCmuQ T9G)1-vݰTx.npxe>"XsdccDT F(IIEHñ5˗(=O,IonS쥨# aVH.^^D*E落:CGZgX6f%ur |/z (i;={z)SKK+OnR>I֘pz sh7OUtBcH÷P?Q`ͼyy3vE p4<-F#kKFR|r2;klshf!v$!f"mG|)r5^{!t ui\b.|&Ad0dG)>2xX WuU 37ݒTpU.N"l , _wmpzY9n<FK'ݽ YPr[0xN9gH'\?H?^H- Q[ h{rET jXy1']UG[Ujr2ZS9ml o`#8B`D;o84RqL]sAD"囁| 6܌u֙ǿQ ۢwݑCY􇦖l ibn'̀5\\Qݥ仿R S^ۿAPUyb:hKpPJdw:GVnr4 "D&~..i ۂվ [~+C8R gm%5fsBKkv{W?1dOTͥ ̎~ߑu4:J7V|PỊ uBұխ ivvyXYoKdMlآr/E/*z tWB. Y$dy<[~mR~fb7%ܫRc }n{TVCb:yDTw mke'yE6 Q\ &,_Q(>e_ xT@y]Q%o@HИժWy+99b# j5|6X866Umy