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  8 8=+ |d ]/ Decl_Sem_Fun_PL:threads=4elapsed=25.565cpu=89.276gc=4.328factor=3.497zXZִF! '@]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{m=غql^Ͳcs4f[M~WQm*cwq A^oZ:E ;L"PҺҜ́D .]NXo[O}3$zYg]*{2#lE'\`L>XK6fɮ'&+nAr`IvAiX^O@Pd]2YxPA>rrے?"}y!nR?1@sJҙ8\GԂAD2E_RY5Yk[eאL}(tPu}2k { oN ̚ZX+). 9wߵoeAr5\絀:u#I י1$ 2U3(Cڍ>TW pVӪH`uxuC߯ @1ݲ? Yc Ћ{ ֯6sC'kg(Zu%$0pmؤA@W ?0W Wbũ.EchTdcui3}lS7*d3By*;Dܾ 7r +Aeĝz(('l-B-!_-)'ў8Ȝ|HTѶ)uvׅ\kX&QX! Cī{&!;]M@֬!w23*=plrS + Decl_Sem_Fun_PL  uR=%'NMWpYll虸,\R,7SXs3~תP/De+dJY\EEC!vCk.m@;l}#iKAEC+7D+Lxp4z6>Qؠ%4cf'` #1HREMs0Q2uWl鎻EYŻzt dp]'kq1Ll-S #ѭ1RF G;\T+ uߍ=|."9J՗I*n'p;6&L<OE,ۏ34mzڎ) vz3J~rT[4#(̊r/tY A!/w adOha&kĔbJP^FBEgRhr&Mlyf_`fÔN@y^/ ޸](nL3OgU uf8V=<2\k] jQJ~HL+|:aa9ԏvE8?FU2+WW^q[,M1W^G-37ڗU!llK뿷qd{p4B][OK԰Vb]_L?1iplvCgiKO_G2δcՏI@|.ƸOqpOUJgI[,높-2_5\z/ o^ce=_-VT{c ڕ2g $iA::yK^4pSƤN>Xc`h3jT6i5Ur5`0.O\=5kc۳T j.s]:¨!ݚwLQӌˆV'9yʽu^P~˒.2G,E76Q5 'ld։w 5DO4oW(WAsj{. =^6f愚-cbxO<~IdȪ|W)2ojtir0acA"{Y=lXWE~oS;?SnBx댯)t!zT] mM;BSLӸlp:`e >.1h=Emwe^}a uV8U*yPc[K'o ;ixn%IE kөG]-HgZ.aTy2}jkwhߍOZ\W;əph=A⩋ M$n?WC !m;(rL)˦U"Ku8J>WÎBР==Φ8EH{%-!-Ƈ MS[}u/H1oҞ7MDh _#+{Cb97e c*`o9R(5_)DKU2h M1i\jHX36ூ*߃f+d7.$87{ajm9X; ǫcTPBL:-*]-p2:ss[W&Zђ̗RR oj_jzYY1T8_X:|'/NLzw^Κnvsa  =Pwd_Ax\rzH"ޠ8V DJ/ sIP2!-(z.CL~˪&Z"o/2q,!pme̽fs~r`1'&yu{nYk$Qm=}@ 8 4#^pkzҹ`$~r8؞t_fG{ӄ2>"/" J@clxV;id/  r4\(0N,PE9q,c{\9ʱG+.HWw7.*(N-<7R8s("j#G0x&_٨Zq,1$R%LlݗdV "(164w" %lOJsn6ج܋̿)H*ډӣs@,1.\b8+j: 1ϵVfS(&3Ѹ%̎5gYZc2a32dc37b537ea23b90185d80cbd9f2ca21a95013f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454