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  + , ] LightweightJava:threads=2elapsed=51.334cpu=77.748gc=3.368factor=1.517zXZִF! B}]ŗXf[&!8*TXzX蠎%]i&b==ʏ ]0'c"cp*ыUL=Q}pi+L toEEȩ1Ae^`_X]Dz˦@"8R9"Q'3q&!%P'AP=z" tg#@e\޵U͗ǠrU3i5UO'HQ7i:D8=V 2'x@J^qSu717RrbOְdS9Ijǭa|-(R% ۊ >Gl;kr^]pYX^ uf7ϾtEWh2~\q7Rni4J6  + LightweightJava  W;4dXV;'H1>V{Kh*W>_J{Oχ׷SQ&9pú*WV`^oZ:O,y),q;bBugZR8c8~deȚڵxʬ>Kı{=C{m{2ov$Ȯ7gylԫND(LK ̻Gx{C6;#Ci.}QIF:Culq3Օȿ],ܑgr$á]NI%Oe7NUHҘ)#HJ,WU2 B oL-|_zdHeoj0^;/RT/gF#UO΢d^}[&+au`!1iF¦_h.}@hkmH%zвah{/ې$ \]YlP=1I_Dl=!".h$+omE!R7dis[c|!Af&Q|wm$Uc|?-n|csb*X .!5SJL<ҴinnD1\olsʡVy鼃0Y@W@=i/ƙ5LlPɛ2"r4M0jΓ0J~Pť %7&GR/9Ydx,$o̕c:pt-GJ ixd9?O5{BG7y)9 ygYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9Vn^>FݟOޛh3(Z$(G=9%+~J첡S?aP<.˥u7>pLgYZ7zXZִF! P]ŗXi%>gx$ҧ8pvh$\Vpwk^!h3NQQ2 ;D{F;+XQd\$YܔKڟZP+Us7ag=yXU#6Iىb5`#bB.M&?^ ~ܨ@}"40K*eߥBLTWRC^+Qކi3ZMRI~{VLyxRomt4lQuI<ړpD-KAXZŌ9}C/L|țrKY"B`G:ɜACDl [/3 \ R`K.@lEEqYA#~ 1_lQO5XB_ۍ*- 5#. Lt>'\2Gx*, f26AzrEd3CwCP6t|y|\op- dFu2c[JņoiM-uiP9_DvMT] E7 hP8c,O]QWQW8n9^G|11YD?/d6_4*k#_6Fs\ ^}u R;+}P4ELQX$>* ˺Kv%k#8&sgm .0&FQlE&!Sa96ͅODuJѫ=3ƭĀ=셧+2DszDs_UPȁ,/}u,t*&B'8طVk 6xpJVߏ:Ȇ#ldQMb(~ԮBP}7eR/$]Rºz>otͶ6Sh܏(i^nOc>@4k'Dðs0z>uc(p o;\~LxVr+H˹^2<AA:/3ވh)wZ5O(YS*Pb@*z%mIU3Sڒ#G"ףxdbvfGzUb,%Hi;巀YwH#ΨD-rF/ڨ.Y_ihIp3=Bf~/RC6Y<*p ~,agʹQwpUq{ܦ'6  ɭ 7lz!v{f'эJq3}&JKC@!Ɋwݎ%t*Rr@-kRN3)@jl?)ؾ24]nōX8J,A}VwY2DQNv,XmiP_K%~:}+rch.5a Rtb&ր^a*ouf 5>6q^ pRtøC! _twELQ5ELBWW?`$D\)%2֋`}cceӜjr_Z@&[ >,Xe<,wFLrt oWdI%H+_Pe]y}cBl}8쑧;X흓FtrӦ\h=LP{2;?OfkڸsvHڡ L|֤Z7ɑs'D{ ϠkSKY J6W 5q1WO|"7, НaK*!ԩW7b>^Kċ/"7BW!8r2ٲ-d* rt#fGgnk>GWqm8cbTӎmdzoew"75Cĺaƹ"DxU.8F2~\Ƿ, 1,#Ų;6txco\LV?dfkP!PYu^)%g8 K̿(dg@w}Y %˻L[Q+D^@ 25L޻M A܎p/pFA¥Er3Vv yTڋUGYo3+[?*ƍoP; fbuU'97/Si-yPZ%@ػQCUB,\Hw`WY[Oi\Ӹ"lًxnCbD/t_Vg1*^nd.f6: {[l_/~,g)?umiJ!]tJ>O/brLz2~@5?ٙWffU-yoXzX;x$inWۗgCP5?wNks.\5%b&‰p& Ч !#z~W:"ΓG+Qeɂ#ÃN<:I ڐ,ȠiРd) r@Fu mEOf]v; SٰJlMS}lr3uC fV