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 >?lD Y]HOL-Computational_Algebra:threads=2elapsed=63.146cpu=114.540gc=4.708factor=1.817zXZִF! 6{n]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D( Q=3w;9çKc2Sr'\ xGx9OO:u3O^T#^,M6moڶ_VHU Tʀ XY -WCv/#_bo)&^f3A,UyV?K!c@5~+f s"whu5L]Z\Cq!SmAw]3 RuPLK7 %EFj,%GpZ·-Mr!W%3q$r|h,Kv0Zu_UIk;DP@Z f ަܤKt- "x6:K(WjG>EB<&` )4?Ô=s6&]Z'eLqZŨп4j|@-386 ceN&ZY ҟŤ%wzX sxdFuZoPBH;M>Iuw@]\/j| oQZ 8zrY;Xx^E~B;< ր*9j)%>m2U"i"1_6[YN pdxǚXm{zD?ǔypitBTۮ&wV]NLs%PK1U%D6a-UCcn;<[2,O]7a:hw);8p,= ? HOL-Computational_Algebral^B4sf\/^i6 fn->%aeƉ*YJKc킕wK} 8sCzm r2t| e!^hѷMx]f`_Լ7yK~29IuF}snCV,=0dKS;Ѝ}tUhrO%3Q#`ΜGTmn@<9).e4J哞W/D~4)k_m z;@4%բ2KN*..S@ 4Fs;'?C"VI2~%;95DrLh:6] p:-@B\NLLߟ 366c>74u  |VdղŃ`m<_c,>֏SXB 5ߞV^}v_x"nW<j,t*ċx$[Y :S[ z^+qܞQɈ] v!Qc,%h%cj<U~Fk=}"88x!eD{S(wZ "'k$y=GNhka3`b,ƠB=cs/5cKh/W f$#ڊN@I+dP觛X^܇H"d!FyfaA)zNwO: (lsN7O|nΥDjUrGZ^,dM{Zũ,=] >h9lLJW|Vĉ$TPdC,lrrrb9ۄZ *W«thV-!Rb,z{A&xb 3z\G<ޓg.)B S,9?\oAO"QLbe>Bg'pcۅ;9 ﻘ׻!:8C ܗ6vmdI7KEhX,D֕iX[T "`70*1tZ/宸J|ZsJ*ZAKE{ czX2rFsA6m [=ӕ9}c9&'cKguȄE vճ%(5o n;TlJa k|47C$kB&ǻs@1b/%Z\܃`&B\La#QdmJbĜ\V$ẕmdž 2) \poavO>ٞ}gD@jfa;&fi < +-=B {VwJL[VW*u&] b'k(xx*}?@5j z^zLn~ x\?J#6n]G%9zdŮwT8͕i戌ڔF8,[T4(eԝ2`h9U$tfv|SFp,_>fAnۈ }5*./CR~U/K$+Wf >^^OSb E`Ti2CΐJ"W{ly ʈC pדYl{˱8ګջd嫣eDifM=ɶ;1ڇD QXnUq,]*\}6H}7Crfs>+ Z򐀚:`^6os%3 OwCbUT %]]41'o\I~(Gή  6gBs{ uG4!T!6O4*2&zop}LvM ;`u?s  'Xޘ|Vs n\ &f4>bYZu%V2p! px߯J D>J|9<DɈ.v'8zQ>ŏ˻H_fGӌi" 4.|:Funp,v9a ՛xR$n <畛:pI?02eQ!$,JS}S/掹@Ӊ)뜭'"tv٩[akqN_d tFc7B+:v,0Rw]a'>6<x6w -K^.;"&0#'tJE]d({r7r" APRMQܑmfDF]s 51[n US!F xU_SO}ƀk BYHJ)̟e_#Wb }2dH}Ɂ$3mxz vƉ>C^\j#pZԳS2M| ٜL!i+Ftlҽ= 7-=20(ټP eCHOב'AȈ08G%dұw[b}bǩۧbICXj E&6UhʵC3rGlEC(E uǣoz\=*naiBRN"?"&}ck ˛Vܕ^|Xޯrz(sVmzH8xqoZ$ 0:^t}@e{ Ms@ζk<Ġfc)8[$Ӈtub.ocVa<,`?7/ H5P+|bgƈ SXj⁔AYy6Tʏ>s5Z8YgRV%f;=ZM6Z&N>MhnQ~>9]h!LZ=/v㟫0S%QCOo