SQLite format 3@ .0:  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   4L ]/ Heard_Of:threads=4elapsed=32.040cpu=91.016gc=3.304factor=2.847zXZִF! ,1]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l :!W$lA: Ǔ%PyޗQF圉$fӡq8H\b^L(ժO]7\WS%+]jbw;E oM0 #CEZZ&O4S{&;O!6q\K|"^zkЬSwty `%Fr=#;H 2 E&d>@}[5!aĪՎdPS6e h}om vsldKs,ga-K0պvĝ #l⏵Iv 0Xvug!jKI6;8tVG:>yŌâҬg?pK0 Nf_gCT-zWSn(89w GM&KV;@moK~^ktw6DϣtdzoR. f#xSohF >nvo=3qh#-Rة ?̝*9r LnqW   Heard_Of  Ulim8Hblrs8/_Fsh AxwGAE;v\Wy)g! $4\ظCsQ!Ե!.a6[' "xcʭ!6Wi fUz‡mnnP~r]RMTZ vdC2] lljtuOYThC궬PYK ޺@,"MZ=x EquS\ XKgYZ7zXZִF! ]ŗXiɟ T50d.~En.yWM͓˸ P/!G@#l-IN?&űax.9dۦ ;GĔɱ)~ÆTT`8T:Mx~e8z?F5Cf},&9"Jf'$x7s$l^WA=s@<ϔTvAuҵIT8ǒVdA~(M%2?t5L%,RE'̹l胓oPOBza@4AO8m=xPeձH^22`qԋC,Tvk"\_|($MI49bvsn o؏>CϺ6_"9oMs"elAw Z&7  gYZ7zXZִF! ]ŗXi%Eb⬗sI&@~'uaGLl4|-1ʓVy}!j kח#*L}Uc"nQqL 38DtueR89@!/0 ˽7UF196݃G +:۩V(_%08fQ&ih'U PC~iog`}Fr ^1 ja }p7>eqp2_Ņ*AƲIP~ɵ +N\%<6Xvi(E7|߿"lk]n-5'GŐ}NW2ؑ40GX+Y ;}2 }/g\wӃXEwb"Bagx>Ion*4׼ݚR>>igEiނfCb/tC;bT$&;K֊3M;d1*JB EN8wI}͋7y'>zCW6+Zj%QFCh"XQ_gQ"OEӈ.դhLXƠְxuW"P!]H,:v!om=.3E qFLTaHKIbgMN;MkO<=ヾ`$𔾇޾k84jmҡS aRQ`Fz :/[,! QG| H7)o%?bCꪂ*+* >2E݋׈]k RTVE|mUD Ʊ]\!-/&43ղ)KPUU.˰4P.%9{LKz?L WN bD&D ^XsLr+Atk[t&UkQ>q-U))iUZ13*N _)Y̦miVYW\VO{jO]3UM_'3 F ^vvt: &J.lB$d,ѥJ0/!`Г?MKW0y 7OMݑ+>L DGkʔ55@w*,/:9iJv?ҝ~q ~L^0o~,LL{7Y_߉P3؞1$Ye8\wB ; M6Z?uJ] gkLߊk*p\~XKdqꉈʈ\MŇYAH |R |PZ(Qi:?R겝;M,/g⼝e=nAz8eXYZ ))0'Pq[l_žv$lײI.GJZ̏)UCa07 "ٷiGi8 Spc.#0&ځ9(M sc6~h>#f˳& bQb`imp{?-Ӏx"~]oOD!s87 ^. 799x"op`|`Sy0\XIRq45sdK/X9 '2g(7GSf Q}W s=@xh1 jkjY,Gb WVTI\:Ff  F #Q>\(:%W9ӳʔ;ti߄=V27!t ƛOgȠQ};fRh<(rfPHln IY ?!hpr6;F n/Gw729BDmd1ĞV>h)w(o Ah ӧ%^#df8P~7{cLMW rA+:>,+ӔÓ. ?;Q'bp94StoWV%s|vh"#ͶNĘ3Y5Ya^hJԲ=M%&"Y-$]5C -+[O=:m]*OrP뺩0H:WfM]"{ZD0ܽ҃eQ:}G}zn\Ta &D>ea~!(w%#pJ`Spt UFb”7H3Z*5v#_؇!%ԧ¨O5UKcZ|[6:TOaTV|O{2M Vfj: hB>&.=JLk5o%`Z_ufUN%l ,L٥k^ gYZ8a28a849f13577939a071f248674e44dd7fa176d87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591