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  N  , ]/]Nominal2:threads=4elapsed=19.963cpu=74.588gc=3.436factor=3.747zXZִF! *D]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnSlzt3{KK3 qvL{ vfyv։>}UoN^Nچ8{it,3晇罱KWjy#)hC4"> iKFC(~+-hEdyȖkY?4YmȺO1(,f+?h7WFY"b|&^37AmHQnEsr+5:X uAN5UGZ;g3"mLpqN.aoP EKoRDۦjgeDiqO]Drd":qg4X'n(4sSޜ>-EcOb@4`qڋYSRȦ^S5uhSr2LUZU5jQR~Wa1Rw]}_ZH3~{):sDr5ՔZ-;L!] .uCtt#Iz&Lz3˄ _hTn>k95-QD$pTA8b̓[ð3ywBk>Ί:&k)yk'X9Aؑͻ+5c *1g THgYZ7zXZִF! #]ŗXiɟ1˦r.Hil c`1X14HF[kܠ]!=7kpV ;@26}c1d fUJ -%j66FO霭 UI{ܟhR}ppΒ+dOMAg!G*TZ字u BS1[ l^3 S%`תc= +*"-)7Y Aߎԍ?%E*, jl (Έ@H _69~<lØ҂Ҍ N_wf(A =m Гg*.LtY}3˕,b:ѰF@C(V/}@+aO.Y#18D4rNz"ߺ '8hqVgs b{XTd;v rCgYZ7zXZִF! ]ŗXi%L 0iY y <~%[b!(e ;bY(vb_I'C0̀Da..6Ht!92M LKp@[ {Ғd1!6~>\ꅫ[wu*;&F.|Y4ַQO >s~B`;jVPTlxlNX(_}1 р_@.P&Ծ8N4p|>3"oc!j65sS,PǀlH!![s*c珃!#߽7!=,5.0#E6]J1jg2jpu_jᡄu0Hx*:^-Cآj!1>"76CTBXnFO%q<%iuwGT_9S :{{' =Z^ gj#:ӻ[oߤ:5{PO'~0h;;uxf@_tK|~Ih+Ũ0ۆfѝ1~05Z"%'`I)/~ҲCk2-}| ǓF%֊ CFl /? |&%.S$3N&oA^ >8:7|;\-50s?2HXϤƏـ"=#KmRrתwZB? >ū:a-=*~4a \v?85kw!&K{ݗUуj݊cN t ,޼t>,qSzxeSUu ~KsלwEs'z/0*B5oueս%}#-?p|]/`!9*wSu_*-6M(63S?C̞tb Gmr >į:!N9ܚUKzeZJK*GoO[۳)fB~}jP ਍F@'D@eQ>%nֹ\qPt`>@%O>Θt0Xq!I!4E;he7n$2LoydpNPr. F5W0D'RP 8L*'&o~n&- okmFk6|?k<LNAJ7үs̀F땑v_h-eHOd~yzu%~lhEe_Tp](9 Xui^sYlÏ>b91)M ˤj LZS*sr,^ZcQ) \n = 8"ύy,.DKd(tRNֹ.AkxJ ]혉w]gdM2R9Ԉ𿄸ȿ()w#x;љAӖ·ś5@ڥQ#cd*H?->tZd-_A%X"t;WTSLPؙta KYa!zUl7PF擱m:ИGFKoTS>R+(465"6#(dTZ>.웶||gӾzpeWЬ+ 8Lz~D޹F[򏌘c$6Dwi?j zP%]e5Akj:ņJ pJ,U-42h^J\}. Z^pB&uY暀Ks *d/< ']y~!oD\iB{wC@R=-0%}.~M,FQ?,Z׭"r^fIgYZc8b3ce5a70a3b20d82ae4aa3a0e85f2f8dda6584d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3c1222ee6ef2fd26daa3bf6c770e744bfa4aaa8c9