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 t+ Dt$ ]/ Euler_Partition:threads=4elapsed=9.728cpu=27.596gc=0.924factor=2.847zXZִF! \]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl޼־`KQ ?r ":vkеXhanJlΝ^,LB9IeS+\| "ZխGDzHGJҺislIxKЂ e|(y3((CFTT@"qd[]-N3'8󺠬U7Ь;͚kq#⍵QB} .9P%lxw!ЄK~noyGTk0ϙL=,ʭmm}wэ PЅ_HXzjy1`,}ɸq*ƛ +O?R/ -ҀC5(+,RFFVcn \L)_3rEa/$z)Xgc0y_AT^*FhZV Oωsjd*B%*S@gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V9вO-JjNu*/~e UI˜[4?*9RI((Уb-H^V'Hj63_KpnYHJ8IwOnuuSK| I9/3ZT'S{@' 5[,J}j#ЪDC^6S~2B&"..;)KoQiui0Gb)0@&\6oQTPAa_<}j],sz+"XWdR3`tˇZqpsVqc-ZsUhX4cڶ>h ħ>",' k/Q7pN`|s0#G_kI0#Ft 0Zzdi;˃:] 72b&@h 03K){̐)8A^|ܯ꣰\8}>a#4Z0SxIdE n\>rL;jn72nJ<~L9#MQ9\giC5߭"ǯ7oʠ\T e*o ~`/rɷ_B_HyeHczdD{a]Pd Qy7U D|. d`yt72޲#2*u0>~vSY/IUJnMCyyĭEY M!u XW]gJ{  zCP\eUqvͪKH=QgگtL yc @F'DK|a:7KyOWn1+Xݨ)8Nn7?}^$/,,by97\SSR[$Z||4ó WP2?QǪ47!g)El&@(|h9tڃJg!tgGwl )}J2^}Vtr6}qspmFzϙZ@Q'8 mM.q-ž3wđ8lUx _ga,~!kPB9ng%X