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 [5 4| ] Priority_Queue_Braun:threads=4elapsed=23.164cpu=41.360gc=0.712factor=1.797zXZִF! @]ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫wf#Wt:*525 νR|0G ڔ#ta]2X˅BFVwP湎(a wGR_u2)FVտ۞Z"7ebsG[ dA#u-NxR"KT120hO,SEg tB{ԅ! %.q$rlS‹֫_z]{l[ Vn i8I\-O\l3&/Iv\8}?2'z l,f?V6Dʿ2ed" s5P ճZ?!}HjinN}/MۛPP{Ĵ#b7T /6zg`- JI, [gYZ7zXZִF!  ]ŗXiɟ1]" M${np^PTܶemDb!مW!:X`l`>4_QHG3zSn>pU AKogYZ7zXZִF! 7]ŗXi%GVۈ_ԍ?U}_wβR5W,Wq 稐~r.nfkU4B( l*6խ'fn~;zcLXt+#J<!?M$^'XUDs>RPn=JgwA|9! nj^ƅsڗ(ޮIx&D 6?\}C=$ɲSe1V&2#zƼ(a8[)-uRw=mn 2FKX%&եEP C%!=ѭ {0owISxEA̽bs}p\5 [#)pC\RH%)lS߻Ǣ&W6LJ9mr4̀=&G˾p($^B,0;X [R;N Um5ÁuzN{9A ӏ*ו IøEM&\Z8Ȍ/+/N_^bWZ )DH#^<TM-Dl|g_DznPK*J 45ݹ NB)pDSJi"w*TǠUF_VjKOkFf'UԘ#/;l:*?báS[-|eV/ǚblj45Tm&`XC\x_[6sW׾_ِ(VLXr٥T#alN-k-DJY^5bi+ƻאE߅}7A/s6'|˂O=j)즜S^ t i=#ihxW%pP`xFAL}}n dwfyY NI2A]5^T񊋹I# B7Rz ݟSO#C{n!WJw廹N2utLǂedaU7<ˉ̵oL9uVW+/mHI8-5CՊ&}]xʍXkV'į;+ y/^(v/)cB5F 9FRk]CYpdGʹl,Gl]:"hey=ۗrp"HJ(^=UikxӹE]C3c3}[Kz*( 4!bW3t߉n}2mRؠ~6栰WG xE*GXWw230룱O:;G#APp׵Q @×5g̐"F iRsp}I :>eL1'Cc ce:Yre< k 1.(yr71͙ WeUsxeF1UO=ӸV֕:A*nKr0O`Y䵴p>R>pT+CuSG csQ(Y:Fż:A*)e 4)F)g j(B*/'~[[zܶ]#Nqk>~<gYZd41b4a58c733e1cbafe57281f886f4119b8853854b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf 5 Priority_Queue_Braun