SQLite format 3@ . BBh77otableisabelle_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  l l%<$L ] Gauss_Jordan:threads=2elapsed=120.434cpu=221.684gc=8.508factor=1.847zXZִF! [X]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y'E;If%7m)Ö$6lFNT{ƣـHϹ[Sؒ'+8M~ y2Ii5p#OD>QB/7[h8yX&>)F q;3k1YL?ఖ 5Qn17g/ bIPmb>Q\wk wIKI5dwK?o>'JeEV#ڛʩe50eYĭuViyoOjg@9Mޒhbrĥ8$E'㎛{R'h%5FnFt9soMɁzXy>Zjo:VG|œ3q^ø4Mq8T[ĊOv΍].U`\ԜȲqުu',3iA,hJ@vcvhRD m#6g֩*2*-y&JBϩqh1EV{29haq,6^pru>h 5мxJǺ1{>+;A:R&ݖAW@esNdP;Kހ1z~ % Gauss_Jordan<`C }b̐@0Ϣog5tYpszY~"/-$MM~vsip%6UBڑx7+dqKňuyݬ ~,w~|L9'%PY뻎D(Z$#6FOĬ,?Ő{̗lNE$/r!?>~*օR-3qKeV{ ,l3r V5hQH*lAxLU=gو8ΒCyS$ݟj5=7E6Zo jk?*_۠H$rAPsG@*e1 LLIQTʶC_+V-5oF%zl}|z׹gYZ7zXZִF!  ]ŗXiɟ1˦r+g'Dgr>{pNa5R]ow5 3[')zDzBɋ O32cߖJRl32Nma5D&HmWFӿE[ c09fUތs.Y.t}=;S,])Zopayp-V~ c#_b8T%V=ϑlɃes%x p fB [^'IB6)B*Ofz0o_{(VGNT'sUZcI]+wy~%ezu˕;h[,AI_f8ii w.:9_ܒ2꒲2dBGaYX_e8o-w6 D99B!VCjbbSc?Pr>F2I] {V);萁ƙT&q]%iW`׏[@)hL[6 u35 hg;UK֯j:i#_h n)w wL]nETXB] IZ 鏐@: 4$X#0< z@[R|a~)B6L4D jP.nm۵?D..2lQ%\_əs(DUJPnjSGH"F _κi±gYZ7zXZִF! JW^]ŗXi%; }Y-xM!cIx-b( a|c-c]8;Eϥ_ޫ`ߜiHڧ%3x2|x,= NN#'Zf׵!޼4 nOIeSY.C,_z-geb'p4u;h?D1uZ6۾G: %;I0gz&7dsD\ʫ`qmMa0ﻞ U%|@UdlQJ%ԃG$cN8lL1Rı6 AOlMgIx ׈uiS,sPlK#?R &ٻ& ce`Մ3f6]cy7zZudv{,Z.C нߤ弿!+)yԚwq{~&ᫎMl~ECu踃mL`!ZE )5ƹ hCG]̜?h&tj^&DZHS(dsYt܍"ҳu gcb 殙bIK1iWLYrXTN ?or^ 8{PNcqysQ 6_C/o _Z WX .F w P-' v!:}}b`6(Y&h' /7FAY!ù|s NGK57T6=7GKJw\q:T, -AN4`x{h=KywځyaԱG e!2BP=Mr B6]ΗB$䏥gRñyOԲޜA"m k=^0d7m9?e@wݵQ_rFX]O8)FzA4EKye!YvQ7^|R!-O xi>w w?PQpT…L˽\۳b_ UtR`vl4"Bp&UHฌDž?dFs_&QǗLjϕG̯KIg}]+Ժ<f/ch߅eӷx3\61XXx{NOGfnf\ [qzmuӥHRwN8hd%EKJJf~7ˮI I?{:&]!^l2%O o}򾌱h811YE̗ j.ӡ?U1e=ՖD96>%C>W}2䫷j)D '6PKnY_qWnm}^-F!{bn b2CW 2q.ق)[5F'i?)BӎiN.,~q3XM'jy:7g1ZC^;Y~i(sUNشnQ)q)sSQLf*-~(s:S6a?" +BV~ƙ+8Yt0۫%5D-LFwO,+a7FD "Zc.–ǥu,MR#T;үf:!Ɛ乭"nZ>A6șӢG{'zp S^Dmi7eg{p#54MC˟&r9$o.BzdFH${Q$^o shF'7:MMNq}SgEͺEAv j]Ƨ5Eo%2e簺nV{ؤKa0X+|ԋ]廦r*x,wEST$` _OrATU–8UHa V9>ޖy8d` CFYuxQ; =S TOF";! wq `de:;2oLsQQM$zrE5֯1-MȥHc6iv!krMfX&Ԋf.ѵgNL޶| DXr'A̫|:P%1A.Eٲ; g(?y߱ƏY3􆪐rT"n?Vb6CT~ADV*sĔf$İj۞U-H^Ž^$ƌLPrO&$fm\oCt|p< ӓy3{OÊ{{ Y'OX!DFfG-ъGDSw:5ڊ7umnA-]Hrmۛa"O1:2`sqʠG3ٟ_CuLp)yp%˙dqEsv>iمHB aNZ-7KCq #δ >uC;)M%'p9#Y3|UĄ0Bn?Ҵ'o\TWZNܮF:.WUA)Y9h/6G7!uDjsyIx=/􎵒 A'ՍOG("NƗy,{yRm mMO~R;c%` l{ʪ72 a p\Rc6!ĿYYLĭ@_ܷtΗIKu}WnnE5i Fj`t\,40x[/e-񄐚F]JD2 l_tJn](m !s% HWYVQϘ !wT^ 8~eSLjiHv{4S{H2r%>>Iun~l4t=&kCr*EY!pHH߲U.L S-Ni yOU3͙>Tk9Ynf> !6ٔA$,SC+'s0}!:gqMd0G=}6[?(eA4 qa)ScO21~f<f>cjbC veocUP~Cdz6Zz9x[ZBmQ)lN=f~=9Nxo0k%sH,zftVh꒭rVs 8G4$Νz2B?^ vqֽJ"GYjG5g%WDfCO 7,~~an{9z1gi.Mb?Oe#sn&x8K)2cN~4&$え9)<7ΫDVT`)pmHj2r9 r?,HlrUǬ7 .)(_rD^& ԟ.z6A=Q M5BI6zΗ0GV<F\ r0HP *`:'!ϷI>2nTDo^DdKS[_bec>8. ;9#akؑܤ똖&Q%/*dI6m1ckS6\_1>&}97n'au]Z D0+!@sBGKa3Vf<x.Q\Dze 'ֿ s:>džT$"s|H=ﰂkuŴڝzJjNyDsKtcbx%\BR[Κ u1+2ևuɥTk@SS)--gCT@m$eL %+qG/BZMwb$CADveʋ%?y^lFj w,udp٧qՆ'}=lHt*g#ԤB| @%T导ES)eЖ}`M/kZx|̟hQ?GףT N8͍1\u4e%b>syJ$ (B`]*L:6BڐWjqӿUܬuu۲'Lh%MCyc>kڃ fSD"вs k臋>'#4=)TΩHZ.RYj0i΃mi`T3n2oC}4ʩ*I!qRd2`뮦='T,\<։Dၨ:ʀr7Au