SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  l l ?l<$ ]]HOL-Computational_Algebra:threads=6elapsed=34.463cpu=121.632gc=5.568factor=3.537zXZִF! 2-]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C`ͱ_*˃uwrTq^! M2Vjv<(5vZohǠj.iҒ׮햻Aw* (edaGդ<_LgF#J I`TqRoL,uZ_G׀c%D @[ENQq ͥ?[ue:<=NICyQ#tus'|C03x\|J"PsZ#hY#2xl܎A=ЈaΞٸL fz70Aj[G3Mߢ kt(!|'%E{25@FZ8bWC*ĜQT-{u_p*C/|ǬY$-&|GE6q6_ZNvVWG 7\KڴeM85!=!^sJ`K3fiV jռAZU>BsYMڪ6P/U7\YYU:NpZ$'+~ ƌ|."jDZmKUܙZ, |giMaw'5[:$ 90:ӸGf1nO ? HOL-Computational_Algebra  Eaw6'xcKD4•k>aTVSta,6"vLc 3TP3ARK"p+YLa@!HF5ljz(ZQYS1nODawA qS l~\Y>/]Ʌ` 8gc'L6bNX$`gq6,;}= ] !^]Q9$gQQKiBR_9feM"K h\à%σYP~!cß [1s goOO'LzE*Lߓ$H0nP6ʐ|A,eA[.}sx]]>̊ts5o<+uGKkS]`0pJK AD $yd9lcu:]P,Y c5Kl¾pѤXUvO p/D!iT^~mfZ6zQ(9%d3!pŠx`j0 klrEdxK egYZ7zXZִF! ]ŗXiɟ12 8YCyMסm gYZ7zXZִF! ৌ ]ŗXi%@Zq&U[2PeB0窠,:h\B}n ?xqԯoSgP&L%i?o ;"',^7RQi26k{sX7:>|q\BHRK4כviaCWO9 7a1W;"Ӣ73n>LU3u qRX 1̉d"jnyP85LφDb1-6pڤ+N -UZ8:Bo$R7d׉cz;DJ+d?*ƛ8Z'"˽ywo)!S t3Ȟ6=ucq^ MsTc'SRY _#w%l\Dg$(mMp`?:@/݌!&^M^RI40 tU@`S-SssQ7AB8\Ǫ=E7x75e,e`Zx;J4 8([K ]1v{n#7JvP;x ݵ/G_x;&"zZ|?kHϛ'{/ h|#W\ Dߎa8V% HT $|1`>q P3κ<'VP~p:duqTl8dFyVe"ZSx} XYVўD`Hh΃_FZv -DH HgAo'|! 1 Jϫ3/8@G۠' [ρ}0KZTZR]([Bv ?]Űk]I4j?űS`>'agvjua$L6?P'ڨY@Z SUl<IF4NfiкGow؊x,Vx'`Q v(fZ.y7qU8QH [I߅wc3N8 ~_}Ϭ &8JVi zE:l.#˺Ո3^TC.9sb"v3fy)k3A2 VWsl1tD8`*8пLBcIL *R ?G1,' ɶy!sGEzqȹ8l`=ณ.1 ^=ٚG']4b$<7hE׎i#|鿨u$!?hr,\`Pût뮧nc?eiөD96./r$/@32F4I@Iڱ|㮊,٣gJEWZPQ D-LW:E4j$>El`b>@;KNMHxF3 zo6K4UKJ5fErsf[KCNp%8;*apҦ*,Co33 4.WrA`궦uX&5X⛯]#\>'+-eH00&vچ77aD29~L,V+ ~F֖Ԥ_zy(Itkm6r4TD#s.aI.ړTuж@rZq."8x@*d i;y0H\d&@3{=8ϞȽ5:0+mcڸj YIyEsDq!;kvG?"FpɄ21R3yRd|Ѭ7Wa[PeTlHO~A̟1UX5D9X4` ցfgb.jRƅ*5p31L=ΐoj3Py,)b̑㬰