SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 88E) | ] Error_Function:threads=2elapsed=19.389cpu=34.012gc=1.504factor=1.757zXZִF! ]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi Ƒeh7֞5p5IW9SMv' tO  :I9:=Dsƚ|򓑡ff >*EmjV M/8&x^! E?0Th7j)Ȭ.hHp9Xr/CA ;ܠӐ7zC6z_. `꓇oZwZ;Qt{'/@Mm=sA[| LFoP bv"ə1퀆9˼ VSΓڧ"W0bDEB4zT/go c@j.,< ̭/VDsqWHN4faXc[j/]t o_o<2MQYO*,a? `iJ3Ο`>bÕx~R MHS% }T_ ^ʴѸЭG]Dm61 K2kGQ{qUl2S*{ؓA965T8N=9:_ x!bXsBEDcew݋*|vAK<6hnW&Bu+IgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 .F@r=&3[JuQ9S9\ sSa{iLh8j!GCO<%*j#nN`0"'nbm4SCjaQ)eAchŘ|Ғ9H aNz.PjwIJU0Ž/Mt'a W.,gYZ7zXZִF! lC]ŗXi%;CPtGOLy6%S>w-@ePP)o12"`iB)4.6U_Ѻ.]țw$ =]KBQu h<[Op zx/'xȾ7۴(체S/{u5x_瀌y+w"p9Q@M*F9K5kΐrsviyޏEfU'M.xA6rBha0V&\o%L `_)Nk duӍ-9R)ǡE2[< 9/O[&RD~4 19\'ڣȪ8y``xt9 G*VaB#؍ygvu@4;QAh~3[e>ӗti>웅 0&J_VQ'`ZLJIUwZX9~EA< L|/b*ht 6HA3d1ΐO"WHP¥K19ϙ]Yg~RhM UADJaQ*" sS=IZ&ɋI~zT5[i`ʖɘɽ⶜oP5iX٥ITKS̘Xb&0(i-v {fګR& MZj,$ %XWPU֭k`&ZB5<@zS._ckM+V9i|01sJD8~ õ,KtGgt/γ?Wlϓ<Pov%SH%Ŝ)1Iw}-,臮K3AbW(瓛!UnqމTnEJ{܉Wä{)xuagU;܊$NxHkJЭqZ@ lsLk]5$%O:%OHxQ 1: @@qTw' 1is>WbT#8{Z-ND{S}hVc^kmKsIŭ'%gRƕײ@zʹr`uEt[: cbHq-5/]' O>#gYZb77ed58872e69684e6f20b8eddb13cd8e281b5eaa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4 ) Error_Function