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  ` ` t| ]S HOL-UNITY:threads=6elapsed=20.181cpu=97.708gc=4.444factor=4.847zXZִF! 9fr]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: YxP1΅09y/~Zroi-z"uAcX4]_Rk\׫fULâ3Vx6͌%K{x, ٮ.Tmd%+]W m NQlDL&j5IՉ2E!ْ jQu#^AD \3X /߀  = 9w2Nl330k(^Ao` 4^0'a_F'AûJ,&N>>eu-٘7CB Baw>zm{SX0   HOL-UNITY  =+/gQԕ_` cxw?w]_*=a>(A߿\UFBhA BiBf< o}s7#-xdq6Q-rkR+ZO؟Ӻu1SSC 7+ZW^rw nG(ԎѶ2Π8"v2͚i̠SO5ʜЮqm8Fw !rF`%=`HG5DB44^^+q] ]eVa$ `s`U=R ٜ+"'$$)4ʇ>?ΓBWfgX/~?.]vpzVCFaB|ɿ@~KЯ40޿ZtFax*?xljB|,K;5׭ 3l.w%0h4 >_f7@1JR+C(j*Q)/։6xSIJL&r: E6*T>ꦵb备 ;SաzEpƄVD] Ԟ"YYV1XhKQdfaw[Lx-!Ap 54b,hHe|dX!~ZMIel/L?4 KhZIP+.3w˾d}GDE  AZ>x,eF_S&LԍCHCp:ݾā ayaJidK/ tŦ%i5M^lhۭ9M̮r .[Z_3G.{Aa"e^{ %tkukv0jJ'7EC̻mZW6b7*pHET;"mUbTu]ͱ@.>ݬvpurNFƙ3K0&E^Ȟд1<ͥlh ׉xR^( 8`fjj2;v J"W7/c\ ,̰<*@By=Tq7¤0lfd0A+FySx[Q+e8Jo-btd $ҡ͇8ڹ?ﻊݱ^Yl+-Y9bӯX]`tJH="%i%S͛0=BiI[&DBv$zIU+l"+.ejbpBgYZ7zXZִF! p]ŗXi%B"{ Gˀ +}M"nAh+gyȦ !FFdmSdAq*Z O'"!KCBS 1 tôi2As25|lTu=K,mx  R;~[vjl)V2((@̕_\GD.$5ثف.|e]HV2;M,%FrNgGhF{W>qCGOFR@kג$ʭ W1v};7Y2LcT?1u_llЛuIO'~p~+=&uN{ӯ:f@I"4Ŵ/ [e' ;7y\I\CLc9NwF 3C;S q|tc: Rm]Sӟ.i@[SeyLYqJ bӫWӶY ֊,&rV϶YT@b$R(o2K2EMlS:V{RtB#cɂ빀6ꬮ /DM4܉EZyhg!WgOLlWfl(eV\)C/0aDFwd40gW͒LaeHTV2kǧfLՈgyRЏBMuOTj<Fy=Lb6 C1j@ }R`KИr,j\Kv."]'{܇>s9:|u Ȉ8yfAZJr yMR=.ǵզ͓{fdm7Yc,HF:S%M#YْdbݤQc S(A\3._& śy2kMx?Td[e[t䬷B/UN{t"<$x!Oi&@,5(^M d >HYjg2VIRx|/gC9`YWG$4I_إ k'Ql}e.Z 2@(@KZ([:Zʭf{V6[I- ;ysTh5lZOBaՄ7 7:M-H EfZ ƁoU\[\f ev+ kGWV^&65@ hًSPua2rq 8T:-߭Q{TޯTntmJy)5 D!ݓi-y~iEyUQ r(;q"