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 o 4 ]/ AVL-Trees:threads=4elapsed=12.900cpu=46.868gc=1.340factor=3.637zXZִF! ]ŗXf[&(tw`)F~{Q$؄F;snzae:Uo&S#U-kFř~hA {"u\EFhq St">7}9ϥf!؇JFUU!VJ{̞plH@GzT\F9^XؒF\a'kat>u5mX$,C-~N} Tsd-U;} N>Q#Fy i{QM: Qb$_AEeC5Akmn <)l>-y((n-),cZ̪.XkK4LP?S* 1r6olˆ%]t,k#4=yƒ@%:.}ג-#Bžy-@.|j׏،&Sw"B+Q6nJ/+!e gYZ7zXZִF! Q]ŗXiɟy)j sC: x䛖 h]*PU'-l1~/YŸ? mސgYZ7zXZִF! Y]ŗXi%I oĦ! q=&6&<(' Nncդ)v?løbr;-c,Y7u Es*}pg!b !?~ɇvmZYrӒ=D*sh)RR]-AEYnaүrA)@v(q<k=kk5L]<~|:You[jHIRЁӽ,4;ů49†_&x㯋&ؖ6`CQ(#(ED\a 1vZts_nۀ{HxYΉ1㳩y8(~P\82|vNC|~Sқ&'4#Zb~jG>'-ij<\x-hd?}E͌470i_}Z 7,z`[݊b,ڶDd*;ajᔺQRq!q%弧+ Y[߹ ȍl3t%JEI*Zh3YXZg\%ԅXIRu Lyj$ڊX "RGFK4OAI%ۤYax)gl-uD ep]: (|ó, ߼9rLe5ӸK,U3-E.kxW ʈn%`$#fψIq#Ěz&5$*>يTOWW\Xa^ ʄGRBfiӫxkWƤr~Ga+2qTtiOq4$Bg^!h P!UjS͛>/61; mi Ua|mZ#TʱTS-uWtjF(ue[>58p!=ĈzZIɐj#ȍ>^ٲ{\;لpq:nM84fc41Q-b=%+kމiT;| +?cAoS?_GdcR AcPMyw^xbk&u67w=_X_;Ί{7s@#@6ƈ/5R(C?],żeF+oGk Cm9ꠟ\ڊҭM?nː\ٔK;:Wm)A&EHΎj(kMrz޿ȻPBd%-?dFIǶ1?.01O!;-?sIgy.6O\p2!4!f-]5[DOM5! fڱgYZaced4a52195a70cfeab7547e9dff7a09caca3bc55a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22   AVL-Trees